[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 276, 277, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

B grade: { 39, 40, 41, 42, 202, 203, 204, 278 }

C grade: { 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 275, 366 }

F grade: { 136, 137, 138, 272, 273, 274 }

2.1.3 Maple

A grade: { 1, 2, 3, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 43, 44, 45, 46, 47, 52, 53, 58, 59, 60, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 88, 89, 90, 91, 100, 101, 102, 103, 104, 110, 111, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 128, 129, 130, 131, 132, 134, 135, 140, 141, 142, 143, 144, 145, 157, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 181, 182, 183, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 229, 240, 241, 242, 243, 244, 245, 246, 247, 248, 250, 251, 254, 256, 257, 258, 275, 276, 277, 279, 283, 284, 285, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 311, 312, 313, 314, 318, 319, 320, 321, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 363, 364, 374, 375, 376, 380, 381, 382, 386, 387, 388, 389, 392, 393, 394 }

B grade: { 4, 5, 6, 7, 15, 38, 39, 40, 41, 42, 48, 49, 50, 51, 54, 55, 56, 57, 61, 62, 63, 64, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 98, 99, 105, 106, 107, 108, 109, 112, 113, 114, 127, 133, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 158, 159, 178, 179, 180, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 226, 227, 228, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 249, 252, 253, 255, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 278, 280, 281, 282, 286, 287, 288, 309, 310, 315, 316, 317, 322, 323, 358, 359, 360, 361, 362, 365, 366, 367, 368, 369, 372, 373, 377, 378, 379, 383, 384, 385, 390, 391, 395, 396, 397 }

C grade: { }

F grade: { 136, 137, 138, 139, 272, 273, 274, 370, 371, 398, 399, 400 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 57, 58, 59, 60, 61, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 88, 89, 90, 91, 93, 100, 101, 102, 103, 104, 105, 108, 109, 110, 111, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 132, 133, 134, 135, 140, 141, 142, 143, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 254, 255, 256, 257, 275, 276, 277, 279, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 318, 319, 320, 321, 322, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 361, 362, 363, 364, 374, 375, 376, 380, 381, 382, 386, 387, 388, 392, 393, 394 }

B grade: { 8, 9, 15, 16, 17, 39, 40, 41, 42, 56, 62, 63, 64, 84, 85, 86, 87, 92, 94, 95, 96, 97, 98, 106, 107, 112, 113, 114, 131, 177, 252, 253, 278, 317, 323, 343, 358, 359, 360, 367, 368, 369, 377, 383, 389, 395 }

C grade: { }

F grade: { 6, 7, 99, 136, 137, 138, 139, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 280, 281, 282, 283, 284, 285, 286, 287, 288, 365, 366, 370, 371, 372, 373, 378, 379, 384, 385, 390, 391, 396, 397, 398, 399, 400 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 43, 44, 45, 46, 47, 52, 53, 59, 60, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 88, 89, 90, 91, 100, 101, 102, 103, 104, 108, 109, 110, 111, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 140, 141, 142, 143, 144, 148, 149, 150, 151, 152, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 179, 180, 181, 186, 187, 188, 189, 199, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 254, 255, 256, 257, 275, 276, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 312, 313, 314, 320, 321, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 361, 362, 363, 364, 373, 374, 375, 376, 380, 381, 382, 386, 387, 388, 392, 393, 394 }

B grade: { 31, 38, 39, 40, 41, 42, 48, 50, 51, 54, 57, 58, 64, 65, 66, 67, 107, 112, 113, 114, 145, 146, 147, 155, 156, 157, 177, 178, 182, 183, 184, 185, 196, 197, 198, 232, 233, 234, 235, 236, 237, 238, 253, 258, 277, 278, 310, 311, 315, 316, 317, 318, 319, 322, 323, 360, 365, 366, 367, 368, 369, 372, 377, 378, 379, 383, 384, 385, 389, 390, 391, 395, 396, 397 }

C grade: { }

F grade: { 49, 55, 56, 61, 62, 63, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 98, 99, 105, 106, 136, 137, 138, 139, 153, 154, 158, 159, 190, 191, 192, 193, 194, 195, 200, 201, 202, 203, 204, 205, 206, 207, 230, 231, 239, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 370, 371, 398, 399, 400 }

2.1.6 Sympy

A grade: { 10, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 53, 59, 60, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 88, 89, 90, 91, 100, 101, 102, 103, 104, 110, 111, 115, 118, 119, 120, 140, 141, 142, 143, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 276, 279, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 307, 314, 321 }

B grade: { 39, 40, 41, 42, 43, 44, 45, 46, 50, 51, 52, 58, 116, 117, 126, 132, 144, 145, 146, 147, 148, 149, 150, 151, 156, 157, 177, 275, 277, 278 }

C grade: { 1, 2, 3, 304, 305, 306, 311, 312, 313, 318, 319, 320 }

F grade: { 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 47, 48, 49, 54, 55, 56, 57, 61, 62, 63, 64, 65, 66, 82, 83, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 98, 99, 105, 106, 107, 108, 109, 112, 113, 114, 121, 122, 123, 124, 125, 127, 128, 129, 130, 131, 133, 134, 135, 136, 137, 138, 139, 152, 153, 154, 155, 158, 159, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 280, 281, 282, 283, 284, 285, 286, 287, 288, 308, 309, 310, 315, 316, 317, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

2.1.7 Giac

A grade: { 1, 2, 3, 10, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 62, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 88, 89, 90, 91, 92, 100, 101, 102, 103, 104, 105, 108, 109, 110, 111, 115, 116, 117, 118, 119, 120, 122, 124, 125, 126, 127, 130, 131, 132, 133, 135, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 179, 180, 181, 182, 183, 186, 187, 188, 189, 199, 208, 209, 210, 211, 214, 215, 216, 217, 220, 221, 222, 223, 226, 227, 228, 229, 235, 236, 240, 241, 242, 243, 244, 246, 247, 248, 249, 252, 253, 254, 255, 279, 280, 281, 282, 284, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 334, 335, 336, 338, 344, 345, 346, 350, 351, 352, 353, 354, 358, 359, 360, 361, 365, 366, 372, 373, 374, 375, 376, 377, 380, 381, 382, 383, 386, 387, 388, 389, 392, 393, 394, 395, 396 }

B grade: { 39, 40, 41, 42, 61, 63, 64, 65, 84, 85, 87, 94, 95, 97, 98, 99, 107, 112, 114, 121, 123, 128, 129, 134, 147, 158, 159, 178, 184, 185, 196, 197, 198, 203, 212, 218, 224, 232, 233, 234, 237, 239, 245, 250, 251, 256, 257, 275, 276, 277, 278, 285, 286, 287, 288, 327, 328, 329, 330, 331, 332, 333, 337, 339, 340, 341, 342, 343, 347, 348, 349, 355, 356, 357, 362, 363, 364, 367, 368, 369, 379, 390, 391, 397 }

C grade: { }

F grade: { 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 83, 86, 93, 96, 106, 113, 136, 137, 138, 139, 190, 191, 192, 193, 194, 195, 200, 201, 202, 204, 205, 206, 207, 213, 219, 225, 230, 231, 238, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 283, 370, 371, 378, 384, 385, 398, 399, 400 }

2.1.8 Mupad

A grade: { }

B grade: { 8, 9, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 103, 104, 110, 111, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 180, 182, 183, 184, 185, 186, 187, 188, 189, 208, 209, 210, 236, 254, 258, 275, 276, 277, 278, 279, 284, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 367, 368, 369, 372, 373, 374, 375, 376 }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 10, 11, 14, 15, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 105, 106, 107, 108, 109, 112, 113, 114, 136, 137, 138, 139, 178, 179, 181, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 255, 256, 257, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 280, 281, 282, 283, 285, 286, 287, 288, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 370, 371, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 236 236 226 371 338 211 1231 197 -1
normalized size 1 1.00 0.96 1.57 1.43 0.89 5.22 0.83 -0.00
time (sec) N/A 0.470 0.506 0.059 0.996 0.681 22.934 0.224 0.000
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 186 186 190 304 202 173 670 160 -1
normalized size 1 1.00 1.02 1.63 1.09 0.93 3.60 0.86 -0.01
time (sec) N/A 0.227 0.299 0.017 0.976 0.866 12.771 0.213 0.000
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 121 154 116 108 343 85 -1
normalized size 1 1.00 0.97 1.23 0.93 0.86 2.74 0.68 -0.01
time (sec) N/A 0.069 0.133 0.007 0.964 0.973 7.108 0.202 0.000
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 103 384 171 112 0 0 -1
normalized size 1 1.00 0.70 2.59 1.16 0.76 0.00 0.00 -0.01
time (sec) N/A 0.176 0.221 0.023 1.086 0.893 0.000 0.000 0.000
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 109 439 197 190 0 0 -1
normalized size 1 1.00 0.64 2.58 1.16 1.12 0.00 0.00 -0.01
time (sec) N/A 0.203 0.227 0.028 1.014 0.675 0.000 0.000 0.000
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 114 318 0 258 0 0 -1
normalized size 1 1.00 0.77 2.13 0.00 1.73 0.00 0.00 -0.01
time (sec) N/A 0.189 0.221 0.018 0.000 0.852 0.000 0.000 0.000
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 112 453 0 304 0 0 -1
normalized size 1 1.00 0.57 2.31 0.00 1.55 0.00 0.00 -0.01
time (sec) N/A 0.184 0.298 0.017 0.000 0.832 0.000 0.000 0.000
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 109 116 945 320 0 0 601
normalized size 1 1.00 0.61 0.64 5.25 1.78 0.00 0.00 3.34
time (sec) N/A 0.210 0.203 0.009 0.542 0.915 0.000 0.000 4.670
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 144 152 1378 399 0 0 960
normalized size 1 1.00 0.62 0.65 5.89 1.71 0.00 0.00 4.10
time (sec) N/A 0.264 0.225 0.011 0.575 1.072 0.000 0.000 5.243
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 236 236 174 374 390 178 1268 166 -1
normalized size 1 1.00 0.74 1.58 1.65 0.75 5.37 0.70 -0.00
time (sec) N/A 0.657 0.453 0.031 0.979 0.614 24.443 0.368 0.000
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 139 301 253 145 891 131 -1
normalized size 1 1.00 0.73 1.58 1.32 0.76 4.66 0.69 -0.01
time (sec) N/A 0.378 0.177 0.012 0.983 0.957 18.032 0.316 0.000
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 103 234 150 109 484 97 270
normalized size 1 1.00 0.72 1.64 1.05 0.76 3.38 0.68 1.89
time (sec) N/A 0.199 0.107 0.011 0.979 0.971 10.172 0.292 5.012
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 67 108 70 71 262 52 148
normalized size 1 1.00 0.77 1.24 0.80 0.82 3.01 0.60 1.70
time (sec) N/A 0.051 0.040 0.006 0.988 0.640 4.560 0.344 4.399
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 83 149 138 155 0 0 -1
normalized size 1 1.00 0.81 1.45 1.34 1.50 0.00 0.00 -0.01
time (sec) N/A 0.121 0.158 0.014 0.994 0.845 0.000 0.000 0.000
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 95 355 317 221 0 0 -1
normalized size 1 1.00 0.58 2.18 1.94 1.36 0.00 0.00 -0.01
time (sec) N/A 0.169 0.218 0.016 0.995 0.915 0.000 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 103 116 608 244 0 0 109
normalized size 1 1.00 0.57 0.64 3.38 1.36 0.00 0.00 0.61
time (sec) N/A 0.205 0.197 0.012 1.015 0.786 0.000 0.000 3.795
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 139 152 975 320 0 0 204
normalized size 1 1.00 0.59 0.65 4.17 1.37 0.00 0.00 0.87
time (sec) N/A 0.249 0.221 0.010 1.061 0.923 0.000 0.000 3.776
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 173 208 217 202 248 257 242 206
normalized size 1 0.99 1.19 1.24 1.15 1.42 1.47 1.38 1.18
time (sec) N/A 0.313 0.087 0.002 0.446 0.746 0.117 0.170 0.088
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 173 150 148 141 171 173 171 143
normalized size 1 0.99 0.86 0.85 0.81 0.98 0.99 0.98 0.82
time (sec) N/A 0.216 0.060 0.001 0.448 0.741 0.095 0.152 3.614
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 86 79 80 94 97 100 80
normalized size 1 1.00 1.00 0.92 0.93 1.09 1.13 1.16 0.93
time (sec) N/A 0.106 0.029 0.001 0.452 0.747 0.082 0.154 3.561
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 39 38 40 42 40 39
normalized size 1 1.00 1.00 0.85 0.83 0.87 0.91 0.87 0.85
time (sec) N/A 0.029 0.013 0.002 0.440 0.835 0.072 0.157 0.025
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 143 136 210 159 161 148 170 175
normalized size 1 0.99 0.94 1.45 1.10 1.11 1.02 1.17 1.21
time (sec) N/A 0.245 0.074 0.008 0.448 1.608 0.638 0.151 3.623
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 151 142 234 169 250 185 240 192
normalized size 1 0.99 0.93 1.53 1.10 1.63 1.21 1.57 1.25
time (sec) N/A 0.205 0.154 0.010 0.451 0.872 1.257 0.163 0.090
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 154 176 257 177 273 206 167 185
normalized size 1 0.99 1.13 1.65 1.13 1.75 1.32 1.07 1.19
time (sec) N/A 0.199 0.100 0.010 0.471 0.790 5.288 0.152 0.095
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 304 301 335 385 360 432 445 423 332
normalized size 1 0.99 1.10 1.27 1.18 1.42 1.46 1.39 1.09
time (sec) N/A 0.535 0.131 0.002 0.450 0.756 0.134 0.159 0.140
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 217 216 241 268 257 302 311 302 244
normalized size 1 1.00 1.11 1.24 1.18 1.39 1.43 1.39 1.12
time (sec) N/A 0.313 0.090 0.001 0.441 0.436 0.124 0.168 3.724
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 144 151 154 172 180 181 140
normalized size 1 1.00 1.12 1.18 1.20 1.34 1.41 1.41 1.09
time (sec) N/A 0.159 0.051 0.001 0.447 0.806 0.097 0.152 3.695
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 69 75 74 76 83 76 74
normalized size 1 1.00 1.03 1.12 1.10 1.13 1.24 1.13 1.10
time (sec) N/A 0.040 0.031 0.001 0.438 0.896 0.081 0.151 0.038
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 297 295 285 490 377 379 359 416 422
normalized size 1 0.99 0.96 1.65 1.27 1.28 1.21 1.40 1.42
time (sec) N/A 0.640 0.169 0.008 0.485 0.616 0.937 0.158 3.685
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 292 289 272 527 392 553 416 497 575
normalized size 1 0.99 0.93 1.80 1.34 1.89 1.42 1.70 1.97
time (sec) N/A 0.525 0.281 0.012 0.478 0.967 2.785 0.185 0.121
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 295 292 274 563 402 608 474 397 495
normalized size 1 0.99 0.93 1.91 1.36 2.06 1.61 1.35 1.68
time (sec) N/A 0.495 0.122 0.014 0.494 0.909 14.200 0.160 3.825
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 404 400 459 553 512 618 646 606 490
normalized size 1 0.99 1.14 1.37 1.27 1.53 1.60 1.50 1.21
time (sec) N/A 0.691 0.208 0.001 0.470 0.742 0.161 0.202 4.050
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 289 288 329 388 367 432 447 432 343
normalized size 1 1.00 1.14 1.34 1.27 1.49 1.55 1.49 1.19
time (sec) N/A 0.424 0.130 0.001 0.454 0.750 0.147 0.155 3.938
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 196 223 222 249 265 261 187
normalized size 1 1.00 1.16 1.32 1.31 1.47 1.57 1.54 1.11
time (sec) N/A 0.187 0.070 0.000 0.440 0.769 0.114 0.185 0.099
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 100 111 108 111 122 111 103
normalized size 1 1.00 1.15 1.28 1.24 1.28 1.40 1.28 1.18
time (sec) N/A 0.058 0.031 0.001 0.432 0.769 0.086 0.186 0.057
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 490 487 498 880 672 674 685 764 741
normalized size 1 0.99 1.02 1.80 1.37 1.38 1.40 1.56 1.51
time (sec) N/A 1.098 0.474 0.009 0.487 0.865 1.467 0.167 3.877
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 486 483 641 928 691 932 748 838 1511
normalized size 1 0.99 1.32 1.91 1.42 1.92 1.54 1.72 3.11
time (sec) N/A 0.980 0.397 0.017 0.487 0.931 4.949 0.196 3.986
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 466 463 438 978 701 1025 816 727 1290
normalized size 1 0.99 0.94 2.10 1.50 2.20 1.75 1.56 2.77
time (sec) N/A 0.967 0.225 0.017 0.530 0.926 25.279 0.174 3.936
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 62 76 82 78 73 111 85
normalized size 1 1.00 3.65 4.47 4.82 4.59 4.29 6.53 5.00
time (sec) N/A 0.032 0.037 0.006 0.458 0.951 0.368 0.175 0.077
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 62 76 82 78 73 111 85
normalized size 1 1.00 3.65 4.47 4.82 4.59 4.29 6.53 5.00
time (sec) N/A 0.019 0.016 0.005 0.466 0.844 0.367 0.155 3.836
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 90 157 160 120 153 216 252
normalized size 1 1.00 5.29 9.24 9.41 7.06 9.00 12.71 14.82
time (sec) N/A 0.046 0.042 0.007 0.452 0.872 0.587 0.183 3.777
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 90 157 160 120 153 216 252
normalized size 1 1.00 5.29 9.24 9.41 7.06 9.00 12.71 14.82
time (sec) N/A 0.025 0.025 0.006 0.444 0.890 0.610 0.199 0.049
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 240 237 223 399 244 592 1008 279 277
normalized size 1 0.99 0.93 1.66 1.02 2.47 4.20 1.16 1.15
time (sec) N/A 0.471 0.243 0.011 0.982 0.904 5.462 0.170 3.990
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 166 155 256 161 404 638 176 181
normalized size 1 0.99 0.92 1.52 0.96 2.40 3.80 1.05 1.08
time (sec) N/A 0.262 0.167 0.007 0.990 0.791 3.150 0.157 3.899
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 86 133 86 206 337 91 97
normalized size 1 1.00 0.92 1.43 0.92 2.22 3.62 0.98 1.04
time (sec) N/A 0.117 0.087 0.006 0.972 0.584 1.660 0.158 3.780
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 56 59 48 125 156 48 56
normalized size 1 1.00 1.02 1.07 0.87 2.27 2.84 0.87 1.02
time (sec) N/A 0.053 0.041 0.003 0.966 0.802 0.486 0.159 3.731
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 120 247 123 262 0 125 840
normalized size 1 1.00 0.90 1.86 0.92 1.97 0.00 0.94 6.32
time (sec) N/A 0.162 0.102 0.008 0.969 14.211 0.000 0.159 6.490
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 188 462 255 904 0 270 1199
normalized size 1 1.00 0.88 2.16 1.19 4.22 0.00 1.26 5.60
time (sec) N/A 0.355 0.312 0.010 1.035 69.906 0.000 0.170 6.773
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 305 305 277 754 495 0 0 489 2980
normalized size 1 1.00 0.91 2.47 1.62 0.00 0.00 1.60 9.77
time (sec) N/A 0.651 0.309 0.015 1.052 0.000 0.000 0.197 9.186
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 216 216 233 484 287 931 952 289 303
normalized size 1 1.00 1.08 2.24 1.33 4.31 4.41 1.34 1.40
time (sec) N/A 0.505 0.204 0.015 0.984 0.924 34.457 0.174 4.014
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 175 323 188 631 593 184 195
normalized size 1 1.00 1.20 2.21 1.29 4.32 4.06 1.26 1.34
time (sec) N/A 0.245 0.138 0.013 0.965 0.967 18.398 0.170 0.229
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 102 134 113 337 318 112 191
normalized size 1 1.00 1.05 1.38 1.16 3.47 3.28 1.15 1.97
time (sec) N/A 0.082 0.095 0.009 0.972 0.970 6.411 0.218 0.139
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 68 76 62 195 116 60 60
normalized size 1 1.00 0.99 1.10 0.90 2.83 1.68 0.87 0.87
time (sec) N/A 0.043 0.052 0.008 0.965 0.812 0.654 0.183 0.100
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 226 226 195 742 293 1024 0 350 1493
normalized size 1 1.00 0.86 3.28 1.30 4.53 0.00 1.55 6.61
time (sec) N/A 0.435 0.224 0.017 1.002 64.284 0.000 0.193 7.675
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 374 371 320 1036 604 0 0 608 2094
normalized size 1 0.99 0.86 2.77 1.61 0.00 0.00 1.63 5.60
time (sec) N/A 0.950 0.413 0.023 1.039 0.000 0.000 0.190 9.909
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 524 524 466 1588 1030 0 0 957 2828
normalized size 1 1.00 0.89 3.03 1.97 0.00 0.00 1.83 5.40
time (sec) N/A 1.552 0.630 0.027 1.215 0.000 0.000 0.185 14.480
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 281 402 379 1138 0 348 920
normalized size 1 1.00 1.34 1.92 1.81 5.44 0.00 1.67 4.40
time (sec) N/A 0.304 0.247 0.013 1.001 1.434 0.000 0.269 1.767
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 175 211 283 253 806 391 254 230
normalized size 1 1.12 1.35 1.81 1.62 5.17 2.51 1.63 1.47
time (sec) N/A 0.231 0.139 0.010 0.995 1.216 141.179 0.160 3.959
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 137 157 160 470 240 152 128
normalized size 1 1.00 1.05 1.21 1.23 3.62 1.85 1.17 0.98
time (sec) N/A 0.108 0.101 0.009 0.983 1.197 32.420 0.185 0.150
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 90 96 98 314 156 84 88
normalized size 1 1.00 0.92 0.98 1.00 3.20 1.59 0.86 0.90
time (sec) N/A 0.063 0.070 0.007 0.971 1.255 1.234 0.162 3.843
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 353 353 321 1598 655 0 0 715 2392
normalized size 1 1.00 0.91 4.53 1.86 0.00 0.00 2.03 6.78
time (sec) N/A 0.734 0.424 0.023 1.097 0.000 0.000 0.177 9.900
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 571 566 498 2159 1196 0 0 1107 6848
normalized size 1 0.99 0.87 3.78 2.09 0.00 0.00 1.94 11.99
time (sec) N/A 1.925 0.764 0.031 1.239 0.000 0.000 0.235 6.657
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 753 753 672 2737 1835 0 0 1532 8774
normalized size 1 1.00 0.89 3.63 2.44 0.00 0.00 2.03 11.65
time (sec) N/A 3.143 1.078 0.037 1.274 0.000 0.000 0.201 7.244
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 437 647 599 1864 0 636 669
normalized size 1 1.00 1.87 2.76 2.56 7.97 0.00 2.72 2.86
time (sec) N/A 0.291 0.306 0.013 1.042 1.457 0.000 0.178 4.382
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 288 350 464 457 1378 0 475 402
normalized size 1 1.13 1.38 1.83 1.80 5.43 0.00 1.87 1.58
time (sec) N/A 0.542 0.297 0.011 1.018 0.833 0.000 0.166 4.069
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 266 333 323 1062 0 328 287
normalized size 1 1.00 1.18 1.48 1.44 4.72 0.00 1.46 1.28
time (sec) N/A 0.398 0.161 0.012 1.005 0.913 0.000 0.166 0.227
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 171 182 208 636 298 194 164
normalized size 1 1.00 1.04 1.10 1.26 3.85 1.81 1.18 0.99
time (sec) N/A 0.136 0.134 0.010 0.981 1.202 139.971 0.157 3.936
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 112 113 133 430 196 109 116
normalized size 1 1.00 0.89 0.90 1.06 3.41 1.56 0.87 0.92
time (sec) N/A 0.078 0.088 0.010 0.976 0.675 2.078 0.180 3.895
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 29 30 29 46 29 29 30
normalized size 1 1.00 0.67 0.70 0.67 1.07 0.67 0.67 0.70
time (sec) N/A 0.050 0.019 0.008 0.953 0.929 0.129 0.148 0.035
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 27 24 23 40 20 23 23
normalized size 1 1.00 0.90 0.80 0.77 1.33 0.67 0.77 0.77
time (sec) N/A 0.040 0.021 0.008 0.959 0.970 0.124 0.211 0.035
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 23 24 23 33 20 23 25
normalized size 1 1.00 0.79 0.83 0.79 1.14 0.69 0.79 0.86
time (sec) N/A 0.025 0.009 0.005 0.963 0.962 0.127 0.153 0.031
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 12 20 10 12 14
normalized size 1 1.00 1.00 0.93 0.86 1.43 0.71 0.86 1.00
time (sec) N/A 0.011 0.007 0.005 0.955 0.866 0.114 0.148 3.797
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 28 26 25 41 24 26 32
normalized size 1 1.00 0.90 0.84 0.81 1.32 0.77 0.84 1.03
time (sec) N/A 0.039 0.010 0.008 0.956 1.023 0.159 0.154 0.042
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 30 34 49 31 35 38
normalized size 1 1.00 1.00 0.91 1.03 1.48 0.94 1.06 1.15
time (sec) N/A 0.045 0.016 0.009 0.952 0.711 0.161 0.184 3.808
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 39 38 41 61 42 43 47
normalized size 1 1.00 0.87 0.84 0.91 1.36 0.93 0.96 1.04
time (sec) N/A 0.063 0.016 0.010 0.971 1.068 0.176 0.162 0.038
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 22 12 13 12 18 8 12 12
normalized size 1 1.83 1.00 1.08 1.00 1.50 0.67 1.00 1.00
time (sec) N/A 0.007 0.012 0.004 0.951 1.037 0.115 0.150 0.031
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 21 21 25 20 21 21
normalized size 1 1.00 1.00 0.78 0.78 0.93 0.74 0.78 0.78
time (sec) N/A 0.014 0.011 0.006 0.965 0.833 0.127 0.183 3.830
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 390 387 362 661 436 855 1088 475 -1
normalized size 1 0.99 0.93 1.69 1.12 2.19 2.79 1.22 -0.00
time (sec) N/A 0.830 0.457 0.018 0.466 0.968 28.367 0.227 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 280 279 256 446 305 595 738 321 -1
normalized size 1 1.00 0.91 1.59 1.09 2.12 2.64 1.15 -0.00
time (sec) N/A 0.498 0.646 0.009 0.463 1.046 21.001 0.206 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 153 230 169 329 384 180 -1
normalized size 1 1.00 0.87 1.31 0.97 1.88 2.19 1.03 -0.01
time (sec) N/A 0.268 0.417 0.007 0.449 1.003 11.876 0.208 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 98 111 96 190 170 87 -1
normalized size 1 1.00 0.92 1.05 0.91 1.79 1.60 0.82 -0.01
time (sec) N/A 0.064 0.204 0.005 0.451 0.946 6.903 0.184 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 224 1265 362 0 0 278 -1
normalized size 1 1.00 1.09 6.14 1.76 0.00 0.00 1.35 -0.00
time (sec) N/A 0.392 0.436 0.018 0.606 0.000 0.000 0.224 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 308 303 264 2818 478 0 0 0 -1
normalized size 1 0.98 0.86 9.15 1.55 0.00 0.00 0.00 -0.00
time (sec) N/A 0.509 0.258 0.016 0.647 0.000 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 296 295 318 4432 927 0 0 923 -1
normalized size 1 1.00 1.07 14.97 3.13 0.00 0.00 3.12 -0.00
time (sec) N/A 0.546 0.561 0.016 0.703 0.000 0.000 0.353 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 314 314 382 5565 1772 0 0 1719 -1
normalized size 1 1.00 1.22 17.72 5.64 0.00 0.00 5.47 -0.00
time (sec) N/A 0.505 0.825 0.015 0.841 0.000 0.000 0.503 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 313 312 439 7237 3404 0 0 0 -1
normalized size 1 1.00 1.40 23.12 10.88 0.00 0.00 0.00 -0.00
time (sec) N/A 0.429 1.305 0.020 1.140 0.000 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 433 432 583 8546 5793 0 0 4212 -1
normalized size 1 1.00 1.35 19.74 13.38 0.00 0.00 9.73 -0.00
time (sec) N/A 0.743 1.619 0.025 1.525 0.000 0.000 0.656 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 462 462 481 794 525 1177 1916 652 -1
normalized size 1 1.00 1.04 1.72 1.14 2.55 4.15 1.41 -0.00
time (sec) N/A 1.134 0.541 0.018 0.456 1.482 72.414 0.274 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 346 345 346 552 380 831 1304 452 -1
normalized size 1 1.00 1.00 1.60 1.10 2.40 3.77 1.31 -0.00
time (sec) N/A 0.524 1.095 0.010 0.452 1.344 54.496 0.264 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 212 209 287 211 477 768 264 -1
normalized size 1 1.00 0.98 1.35 0.99 2.24 3.61 1.24 -0.00
time (sec) N/A 0.271 0.633 0.005 0.447 1.022 27.893 0.254 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 125 146 131 262 348 129 -1
normalized size 1 1.00 0.91 1.07 0.96 1.91 2.54 0.94 -0.01
time (sec) N/A 0.083 0.257 0.006 0.448 1.195 17.013 0.234 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 326 326 348 2420 632 0 0 551 -1
normalized size 1 1.00 1.07 7.42 1.94 0.00 0.00 1.69 -0.00
time (sec) N/A 0.766 1.211 0.013 0.789 0.000 0.000 0.293 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 432 428 392 5121 708 0 0 0 -1
normalized size 1 0.99 0.91 11.85 1.64 0.00 0.00 0.00 -0.00
time (sec) N/A 0.901 0.525 0.017 0.783 0.000 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 488 480 435 7817 1299 0 0 1036 -1
normalized size 1 0.98 0.89 16.02 2.66 0.00 0.00 2.12 -0.00
time (sec) N/A 0.921 0.655 0.017 0.878 0.000 0.000 0.433 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 475 469 517 9835 2415 0 0 1900 -1
normalized size 1 0.99 1.09 20.71 5.08 0.00 0.00 4.00 -0.00
time (sec) N/A 0.845 1.233 0.021 1.095 0.000 0.000 0.612 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 511 511 575 12481 4326 0 0 0 -1
normalized size 1 1.00 1.13 24.42 8.47 0.00 0.00 0.00 -0.00
time (sec) N/A 1.092 2.154 0.025 1.503 0.000 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 507 507 639 14169 6650 0 0 4408 -1
normalized size 1 1.00 1.26 27.95 13.12 0.00 0.00 8.69 -0.00
time (sec) N/A 0.860 2.268 0.029 1.893 0.000 0.000 1.327 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 404 403 696 17026 10724 0 0 6122 -1
normalized size 1 1.00 1.72 42.14 26.54 0.00 0.00 15.15 -0.00
time (sec) N/A 0.552 2.472 0.038 2.729 0.000 0.000 1.123 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) F(-1) F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 532 531 863 19093 0 0 0 7936 -1
normalized size 1 1.00 1.62 35.89 0.00 0.00 0.00 14.92 -0.00
time (sec) N/A 0.889 2.495 0.051 0.000 0.000 0.000 1.118 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 150 181 166 333 510 168 -1
normalized size 1 1.00 0.89 1.08 0.99 1.98 3.04 1.00 -0.01
time (sec) N/A 0.102 0.311 0.009 0.453 1.317 32.916 0.213 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 325 323 252 528 349 559 796 314 -1
normalized size 1 0.99 0.78 1.62 1.07 1.72 2.45 0.97 -0.00
time (sec) N/A 0.664 0.355 0.015 0.452 1.221 22.204 0.255 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 223 222 164 339 230 381 518 206 -1
normalized size 1 1.00 0.74 1.52 1.03 1.71 2.32 0.92 -0.00
time (sec) N/A 0.372 0.233 0.010 0.453 0.684 15.782 0.230 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 135 96 172 126 199 282 110 227
normalized size 1 0.99 0.71 1.26 0.93 1.46 2.07 0.81 1.67
time (sec) N/A 0.179 0.105 0.006 0.436 0.873 9.024 0.211 5.171
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 63 76 61 124 150 58 107
normalized size 1 1.00 0.85 1.03 0.82 1.68 2.03 0.78 1.45
time (sec) N/A 0.048 0.038 0.006 0.435 0.602 3.496 0.197 4.559
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A F(-1) F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 125 453 218 0 0 138 -1
normalized size 1 1.00 0.96 3.48 1.68 0.00 0.00 1.06 -0.01
time (sec) N/A 0.174 0.219 0.012 0.564 0.000 0.000 0.223 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 218 923 419 0 0 0 -1
normalized size 1 1.00 1.30 5.49 2.49 0.00 0.00 0.00 -0.01
time (sec) N/A 0.235 0.363 0.015 0.578 0.000 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 224 254 1574 896 1088 0 848 -1
normalized size 1 1.00 1.13 7.00 3.98 4.84 0.00 3.77 -0.00
time (sec) N/A 0.292 0.455 0.016 0.672 22.087 0.000 0.263 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 229 228 246 516 346 758 0 339 -1
normalized size 1 1.00 1.07 2.25 1.51 3.31 0.00 1.48 -0.00
time (sec) N/A 0.325 0.450 0.016 0.457 1.223 0.000 0.253 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 177 327 227 530 0 219 -1
normalized size 1 1.00 1.19 2.19 1.52 3.56 0.00 1.47 -0.01
time (sec) N/A 0.184 0.284 0.010 0.448 0.891 0.000 0.247 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 102 163 126 278 209 116 151
normalized size 1 1.00 1.02 1.63 1.26 2.78 2.09 1.16 1.51
time (sec) N/A 0.087 0.137 0.005 0.437 1.143 18.840 0.250 5.280
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 74 69 61 181 87 63 68
normalized size 1 1.00 1.21 1.13 1.00 2.97 1.43 1.03 1.11
time (sec) N/A 0.036 0.062 0.006 0.430 0.634 8.859 0.201 4.332
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 137 862 453 721 0 294 -1
normalized size 1 1.00 0.99 6.25 3.28 5.22 0.00 2.13 -0.01
time (sec) N/A 0.141 0.177 0.015 0.622 4.004 0.000 0.294 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 239 239 285 1663 1085 1573 0 0 -1
normalized size 1 1.00 1.19 6.96 4.54 6.58 0.00 0.00 -0.00
time (sec) N/A 0.418 0.608 0.017 0.767 7.179 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 374 372 404 2584 2254 2853 0 1440 -1
normalized size 1 0.99 1.08 6.91 6.03 7.63 0.00 3.85 -0.00
time (sec) N/A 1.028 1.184 0.018 1.017 33.904 0.000 0.394 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 50 47 83 68 194 48 59
normalized size 1 1.00 0.75 0.70 1.24 1.01 2.90 0.72 0.88
time (sec) N/A 0.042 0.032 0.004 0.435 0.788 17.131 0.211 4.222
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 71 72 118 103 638 80 93
normalized size 1 1.00 0.73 0.74 1.22 1.06 6.58 0.82 0.96
time (sec) N/A 0.057 0.050 0.004 0.441 0.895 37.219 0.264 4.281
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 92 96 153 137 1880 112 115
normalized size 1 1.00 0.72 0.76 1.20 1.08 14.80 0.88 0.91
time (sec) N/A 0.087 0.065 0.006 0.451 0.855 78.297 0.266 4.375
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 54 79 78 60 94 54 45
normalized size 1 1.00 0.51 0.75 0.74 0.57 0.89 0.51 0.42
time (sec) N/A 0.114 0.065 0.013 0.948 1.009 2.203 0.226 0.050
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 48 65 64 54 75 48 40
normalized size 1 1.00 0.59 0.79 0.78 0.66 0.91 0.59 0.49
time (sec) N/A 0.088 0.043 0.005 0.959 0.899 1.185 0.202 4.099
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 44 51 50 49 63 44 35
normalized size 1 1.00 0.71 0.82 0.81 0.79 1.02 0.71 0.56
time (sec) N/A 0.052 0.027 0.008 0.962 0.802 0.552 0.194 0.034
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 60 55 58 88 0 99 61
normalized size 1 1.00 0.90 0.82 0.87 1.31 0.00 1.48 0.91
time (sec) N/A 0.081 0.028 0.009 0.962 0.914 0.000 0.235 0.189
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 64 65 65 106 0 48 68
normalized size 1 1.00 0.90 0.92 0.92 1.49 0.00 0.68 0.96
time (sec) N/A 0.070 0.101 0.011 0.969 1.001 0.000 0.320 0.115
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 55 74 76 89 0 180 77
normalized size 1 1.00 0.71 0.96 0.99 1.16 0.00 2.34 1.00
time (sec) N/A 0.067 0.064 0.012 0.971 0.775 0.000 0.257 0.111
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 58 79 78 76 0 54 110
normalized size 1 1.00 0.67 0.91 0.90 0.87 0.00 0.62 1.26
time (sec) N/A 0.104 0.055 0.014 0.959 0.852 0.000 0.214 0.059
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 53 65 64 72 0 49 105
normalized size 1 1.00 0.75 0.92 0.90 1.01 0.00 0.69 1.48
time (sec) N/A 0.084 0.050 0.006 0.963 0.865 0.000 0.196 4.067
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 48 51 50 67 114 44 100
normalized size 1 1.00 0.87 0.93 0.91 1.22 2.07 0.80 1.82
time (sec) N/A 0.044 0.029 0.005 0.959 0.764 15.959 0.235 0.037
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 51 88 58 83 0 82 106
normalized size 1 1.00 0.96 1.66 1.09 1.57 0.00 1.55 2.00
time (sec) N/A 0.060 0.023 0.009 0.963 0.732 0.000 0.208 0.136
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 71 98 84 103 0 168 157
normalized size 1 1.00 0.95 1.31 1.12 1.37 0.00 2.24 2.09
time (sec) N/A 0.077 0.042 0.012 0.965 1.120 0.000 0.274 4.145
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 78 107 124 119 0 196 180
normalized size 1 1.00 0.80 1.10 1.28 1.23 0.00 2.02 1.86
time (sec) N/A 0.123 0.083 0.011 0.981 0.820 0.000 0.245 4.169
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 63 91 105 87 0 53 212
normalized size 1 1.00 0.86 1.25 1.44 1.19 0.00 0.73 2.90
time (sec) N/A 0.085 0.068 0.014 0.951 0.851 0.000 0.184 0.057
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 58 77 91 83 0 48 200
normalized size 1 1.00 0.97 1.28 1.52 1.38 0.00 0.80 3.33
time (sec) N/A 0.075 0.051 0.008 0.962 0.780 0.000 0.194 0.050
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 30 27 50 40 180 25 185
normalized size 1 1.00 0.73 0.66 1.22 0.98 4.39 0.61 4.51
time (sec) N/A 0.053 0.017 0.005 0.425 0.771 77.502 0.336 4.107
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 58 133 81 103 0 91 218
normalized size 1 1.00 0.79 1.82 1.11 1.41 0.00 1.25 2.99
time (sec) N/A 0.085 0.048 0.009 0.972 0.578 0.000 0.214 0.135
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 91 143 107 134 0 233 270
normalized size 1 1.00 0.96 1.51 1.13 1.41 0.00 2.45 2.84
time (sec) N/A 0.169 0.055 0.013 0.977 0.592 0.000 0.517 4.312
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 75 140 147 149 0 183 301
normalized size 1 1.00 0.64 1.20 1.26 1.27 0.00 1.56 2.57
time (sec) N/A 0.206 0.100 0.014 0.987 0.903 0.000 0.295 4.190
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 420 417 0 0 0 0 0 0 -1
normalized size 1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.604 1.148 0.114 0.000 1.009 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 403 401 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.453 0.692 0.028 0.000 0.839 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 474 474 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.519 2.850 0.046 0.000 1.519 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 222 222 165 0 0 0 0 0 -1
normalized size 1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.407 0.319 0.177 0.000 0.952 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 256 343 263 308 320 308 244
normalized size 1 1.00 1.01 1.35 1.04 1.21 1.26 1.21 0.96
time (sec) N/A 0.326 0.094 0.001 0.436 0.710 0.136 0.155 0.126
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 163 223 165 187 197 187 149
normalized size 1 1.00 1.01 1.39 1.02 1.16 1.22 1.16 0.93
time (sec) N/A 0.193 0.046 0.001 0.429 0.651 0.108 0.169 0.071
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 96 90 87 99 102 99 88
normalized size 1 1.00 1.00 0.94 0.91 1.03 1.06 1.03 0.92
time (sec) N/A 0.099 0.023 0.001 0.430 0.834 0.089 0.155 4.086
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 39 38 40 42 40 39
normalized size 1 1.00 1.00 0.85 0.83 0.87 0.91 0.87 0.85
time (sec) N/A 0.030 0.009 0.000 0.430 0.735 0.069 0.180 0.026
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 84 140 0 265 413 78 224
normalized size 1 1.00 1.04 1.73 0.00 3.27 5.10 0.96 2.77
time (sec) N/A 0.100 0.092 0.006 0.000 0.772 1.213 0.154 0.194
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 98 146 0 511 376 108 172
normalized size 1 1.00 0.98 1.46 0.00 5.11 3.76 1.08 1.72
time (sec) N/A 0.068 0.081 0.008 0.000 1.263 1.212 0.159 4.533
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 160 373 0 1199 774 217 401
normalized size 1 1.00 0.99 2.32 0.00 7.45 4.81 1.35 2.49
time (sec) N/A 0.114 0.205 0.011 0.000 0.894 2.362 0.181 4.173
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 204 643 0 2103 1224 407 698
normalized size 1 1.00 0.99 3.12 0.00 10.21 5.94 1.98 3.39
time (sec) N/A 0.190 0.408 0.015 0.000 0.967 4.220 0.172 4.358
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 591 591 585 1738 0 2150 4972 771 967
normalized size 1 1.00 0.99 2.94 0.00 3.64 8.41 1.30 1.64
time (sec) N/A 1.428 0.651 0.012 0.000 2.912 118.420 0.171 5.462
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 348 348 345 1028 0 1273 2839 426 557
normalized size 1 1.00 0.99 2.95 0.00 3.66 8.16 1.22 1.60
time (sec) N/A 0.677 0.380 0.009 0.000 1.110 47.193 0.161 4.684
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 173 510 0 654 1265 201 273
normalized size 1 1.00 0.98 2.88 0.00 3.69 7.15 1.14 1.54
time (sec) N/A 0.350 0.205 0.006 0.000 0.933 14.462 0.194 0.530
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 95 196 0 302 488 89 132
normalized size 1 1.00 1.03 2.13 0.00 3.28 5.30 0.97 1.43
time (sec) N/A 0.156 0.073 0.004 0.000 0.771 2.139 0.156 0.253
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 193 622 0 625 0 204 2467
normalized size 1 1.00 0.98 3.17 0.00 3.19 0.00 1.04 12.59
time (sec) N/A 0.349 0.206 0.009 0.000 83.612 0.000 0.163 10.450
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 316 316 281 1125 0 0 0 449 3991
normalized size 1 1.00 0.89 3.56 0.00 0.00 0.00 1.42 12.63
time (sec) N/A 0.761 0.536 0.013 0.000 0.000 0.000 0.196 14.713
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 509 509 504 1945 0 0 0 1002 12784
normalized size 1 1.00 0.99 3.82 0.00 0.00 0.00 1.97 25.12
time (sec) N/A 1.251 0.766 0.019 0.000 0.000 0.000 0.206 6.819
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 288 288 398 1712 0 2771 0 540 742
normalized size 1 1.00 1.38 5.94 0.00 9.62 0.00 1.88 2.58
time (sec) N/A 0.700 0.811 0.016 0.000 2.482 0.000 0.184 5.779
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 225 500 0 1413 1535 285 376
normalized size 1 1.00 1.26 2.81 0.00 7.94 8.62 1.60 2.11
time (sec) N/A 0.266 0.462 0.012 0.000 1.270 60.262 0.167 5.039
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 114 194 0 632 459 125 203
normalized size 1 1.00 0.97 1.64 0.00 5.36 3.89 1.06 1.72
time (sec) N/A 0.098 0.106 0.008 0.000 0.936 2.236 0.160 3.896
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 407 407 405 3202 0 0 0 860 13698
normalized size 1 1.00 1.00 7.87 0.00 0.00 0.00 2.11 33.66
time (sec) N/A 1.087 0.905 0.023 0.000 0.000 0.000 0.193 6.700
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 673 673 650 4716 0 0 0 1437 26278
normalized size 1 1.00 0.97 7.01 0.00 0.00 0.00 2.14 39.05
time (sec) N/A 2.559 2.206 0.038 0.000 0.000 0.000 0.327 8.926
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 60 53 51 75 60 51 55
normalized size 1 1.00 0.97 0.85 0.82 1.21 0.97 0.82 0.89
time (sec) N/A 0.074 0.036 0.008 0.955 1.360 0.158 0.158 0.041
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 55 46 46 70 54 46 48
normalized size 1 1.00 1.00 0.84 0.84 1.27 0.98 0.84 0.87
time (sec) N/A 0.066 0.026 0.007 0.950 0.805 0.151 0.159 0.043
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 52 45 43 60 53 43 59
normalized size 1 1.00 1.00 0.87 0.83 1.15 1.02 0.83 1.13
time (sec) N/A 0.052 0.021 0.005 0.956 1.345 0.148 0.151 3.838
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 39 34 32 41 41 32 35
normalized size 1 1.00 0.95 0.83 0.78 1.00 1.00 0.78 0.85
time (sec) N/A 0.033 0.022 0.005 0.945 1.268 0.137 0.157 3.833
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 56 48 47 72 54 48 58
normalized size 1 1.00 1.00 0.86 0.84 1.29 0.96 0.86 1.04
time (sec) N/A 0.089 0.026 0.009 0.953 1.091 0.184 0.151 0.100
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 61 55 54 85 65 55 68
normalized size 1 1.00 1.00 0.90 0.89 1.39 1.07 0.90 1.11
time (sec) N/A 0.128 0.023 0.011 0.958 1.199 0.198 0.150 4.132
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 66 60 63 98 71 63 75
normalized size 1 1.00 0.97 0.88 0.93 1.44 1.04 0.93 1.10
time (sec) N/A 0.110 0.030 0.011 0.954 0.923 0.217 0.158 0.098
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 10 10 7 8 10
normalized size 1 1.00 1.00 1.10 1.00 1.00 0.70 0.80 1.00
time (sec) N/A 0.011 0.006 0.004 0.430 0.822 0.095 0.149 0.045
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 28 27 27 36 27 29
normalized size 1 1.00 1.00 0.90 0.87 0.87 1.16 0.87 0.94
time (sec) N/A 0.032 0.008 0.003 0.953 1.031 0.117 0.173 0.032
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 22 21 21 22 21 21
normalized size 1 1.00 1.00 0.96 0.91 0.91 0.96 0.91 0.91
time (sec) N/A 0.035 0.005 0.005 0.953 0.655 0.110 0.151 0.042
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 19 18 17 25 14 18 17
normalized size 1 1.00 0.90 0.86 0.81 1.19 0.67 0.86 0.81
time (sec) N/A 0.013 0.009 0.007 0.420 0.785 0.087 0.166 0.042
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 15 14 14 14 16 14
normalized size 1 1.00 1.00 0.83 0.78 0.78 0.78 0.89 0.78
time (sec) N/A 0.018 0.005 0.006 0.427 0.691 0.111 0.149 3.922
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 12 12 12 14 12
normalized size 1 1.00 1.00 0.93 0.86 0.86 0.86 1.00 0.86
time (sec) N/A 0.017 0.006 0.006 0.426 0.861 0.114 0.156 3.851
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 31 22 21 21 22 21 17
normalized size 1 1.00 1.15 0.81 0.78 0.78 0.81 0.78 0.63
time (sec) N/A 0.028 0.005 0.004 0.943 0.607 0.123 0.151 3.800
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 48 30 36 55 46 45 35
normalized size 1 1.00 1.00 0.62 0.75 1.15 0.96 0.94 0.73
time (sec) N/A 0.045 0.075 0.003 0.956 0.898 0.123 0.190 0.111
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 17 19 19 15 19 17
normalized size 1 1.00 1.00 0.81 0.90 0.90 0.71 0.90 0.81
time (sec) N/A 0.012 0.008 0.005 0.425 0.777 0.119 0.157 3.841
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 39 34 30 39 37 30 36
normalized size 1 1.00 1.00 0.87 0.77 1.00 0.95 0.77 0.92
time (sec) N/A 0.023 0.027 0.006 0.958 0.644 0.136 0.165 3.835
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 12 33 33 31 11 11
normalized size 1 1.00 1.00 1.09 3.00 3.00 2.82 1.00 1.00
time (sec) N/A 0.008 0.006 0.005 0.436 0.833 0.132 0.151 3.800
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 267 267 344 997 0 953 0 482 -1
normalized size 1 1.00 1.29 3.73 0.00 3.57 0.00 1.81 -0.00
time (sec) N/A 0.238 0.861 0.011 0.000 1.201 0.000 0.275 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 267 613 0 605 0 297 -1
normalized size 1 1.00 1.26 2.89 0.00 2.85 0.00 1.40 -0.00
time (sec) N/A 0.183 0.581 0.010 0.000 1.094 0.000 0.282 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 144 327 0 355 0 160 240
normalized size 1 1.00 0.92 2.08 0.00 2.26 0.00 1.02 1.53
time (sec) N/A 0.124 0.208 0.008 0.000 0.880 0.000 0.217 4.262
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 86 136 0 203 0 84 -1
normalized size 1 1.00 0.83 1.31 0.00 1.95 0.00 0.81 -0.01
time (sec) N/A 0.080 0.146 0.010 0.000 1.022 0.000 0.247 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 104 169 0 403 0 110 108
normalized size 1 1.00 1.06 1.72 0.00 4.11 0.00 1.12 1.10
time (sec) N/A 0.077 0.728 0.008 0.000 1.218 0.000 0.270 4.210
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 107 137 0 242 0 193 127
normalized size 1 1.00 0.94 1.20 0.00 2.12 0.00 1.69 1.11
time (sec) N/A 0.093 0.894 0.008 0.000 2.335 0.000 0.258 4.142
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 148 316 0 563 0 452 578
normalized size 1 1.00 0.89 1.89 0.00 3.37 0.00 2.71 3.46
time (sec) N/A 0.107 1.933 0.009 0.000 17.769 0.000 0.284 4.525
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 220 220 199 555 0 978 0 805 1018
normalized size 1 1.00 0.90 2.52 0.00 4.45 0.00 3.66 4.63
time (sec) N/A 0.142 1.738 0.012 0.000 52.069 0.000 0.313 5.063
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 930 927 1093 3543 0 2817 0 1702 3262
normalized size 1 1.00 1.18 3.81 0.00 3.03 0.00 1.83 3.51
time (sec) N/A 3.013 2.418 0.024 0.000 2.454 0.000 0.306 14.702
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 584 581 436 2179 0 1791 0 1012 1881
normalized size 1 0.99 0.75 3.73 0.00 3.07 0.00 1.73 3.22
time (sec) N/A 1.440 0.966 0.016 0.000 1.755 0.000 0.312 7.911
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 258 1117 0 1009 0 495 877
normalized size 1 1.00 0.80 3.47 0.00 3.13 0.00 1.54 2.72
time (sec) N/A 0.504 0.476 0.010 0.000 1.162 0.000 0.237 5.624
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 173 453 0 465 0 212 320
normalized size 1 1.00 0.99 2.59 0.00 2.66 0.00 1.21 1.83
time (sec) N/A 0.167 0.298 0.008 0.000 0.801 0.000 0.236 4.240
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 321 321 331 2549 0 0 0 0 -1
normalized size 1 1.00 1.03 7.94 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.778 0.786 0.018 0.000 0.000 0.000 0.000 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 459 453 486 6218 0 0 0 0 -1
normalized size 1 0.99 1.06 13.55 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.100 1.561 0.017 0.000 0.000 0.000 0.000 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 448 446 645 12139 0 0 0 0 -1
normalized size 1 1.00 1.44 27.10 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.875 3.584 0.018 0.000 0.000 0.000 0.000 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 603 601 439 19321 0 0 0 0 -1
normalized size 1 1.00 0.73 32.04 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.449 1.925 0.020 0.000 0.000 0.000 0.000 0.000
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 497 499 447 29161 0 0 0 0 -1
normalized size 1 1.00 0.90 58.67 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.855 3.901 0.026 0.000 0.000 0.000 0.000 0.000
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 824 826 1128 40336 0 0 0 0 -1
normalized size 1 1.00 1.37 48.95 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.335 6.333 0.036 0.000 0.000 0.000 0.000 0.000
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1169 1166 721 5881 0 4751 0 2977 -1
normalized size 1 1.00 0.62 5.03 0.00 4.06 0.00 2.55 -0.00
time (sec) N/A 3.698 2.707 0.029 0.000 10.427 0.000 0.438 0.000
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 753 749 468 3769 0 3145 0 1852 -1
normalized size 1 0.99 0.62 5.01 0.00 4.18 0.00 2.46 -0.00
time (sec) N/A 2.104 1.598 0.017 0.000 4.348 0.000 0.367 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 418 418 285 2026 0 1833 0 955 -1
normalized size 1 1.00 0.68 4.85 0.00 4.39 0.00 2.28 -0.00
time (sec) N/A 0.645 0.785 0.011 0.000 1.034 0.000 0.294 0.000
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 236 236 392 862 0 839 0 417 -1
normalized size 1 1.00 1.66 3.65 0.00 3.56 0.00 1.77 -0.00
time (sec) N/A 0.242 0.691 0.007 0.000 0.514 0.000 0.264 0.000
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 660 660 635 6715 0 0 0 0 -1
normalized size 1 1.00 0.96 10.17 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.825 2.210 0.017 0.000 0.000 0.000 0.000 0.000
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 754 750 756 14734 0 0 0 0 -1
normalized size 1 0.99 1.00 19.54 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.503 4.158 0.020 0.000 0.000 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 824 819 4162 26596 0 0 0 0 -1
normalized size 1 0.99 5.05 32.28 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.141 6.274 0.025 0.000 0.000 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) F(-1) F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 833 829 7806 40092 0 0 0 7319 -1
normalized size 1 1.00 9.37 48.13 0.00 0.00 0.00 8.79 -0.00
time (sec) N/A 2.264 6.492 0.029 0.000 0.000 0.000 26.172 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1097 1096 46895 57957 0 0 0 0 -1
normalized size 1 1.00 42.75 52.83 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.123 6.622 0.057 0.000 0.000 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1226 1223 1111 76693 0 0 0 0 -1
normalized size 1 1.00 0.91 62.56 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.997 6.296 0.069 0.000 0.000 0.000 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 657 660 766 100754 0 0 0 0 -1
normalized size 1 1.00 1.17 153.35 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.216 6.243 0.133 0.000 0.000 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1062 1062 1221 126612 0 0 0 0 -1
normalized size 1 1.00 1.15 119.22 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.004 6.419 0.184 0.000 0.000 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 70 115 126 83 0 78 170
normalized size 1 1.00 0.49 0.80 0.88 0.58 0.00 0.55 1.19
time (sec) N/A 0.138 0.050 0.016 0.951 0.745 0.000 0.263 5.541
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 65 98 109 78 0 73 153
normalized size 1 1.00 0.55 0.83 0.92 0.66 0.00 0.62 1.30
time (sec) N/A 0.112 0.038 0.008 0.957 0.948 0.000 0.303 5.151
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 60 81 92 73 0 68 136
normalized size 1 1.00 0.65 0.87 0.99 0.78 0.00 0.73 1.46
time (sec) N/A 0.066 0.028 0.007 0.957 0.894 0.000 0.263 4.879
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 86 95 96 115 0 126 -1
normalized size 1 1.00 0.85 0.94 0.95 1.14 0.00 1.25 -0.01
time (sec) N/A 0.117 0.054 0.010 0.963 0.907 0.000 0.394 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 92 123 103 133 0 380 -1
normalized size 1 1.00 0.85 1.14 0.95 1.23 0.00 3.52 -0.01
time (sec) N/A 0.116 0.086 0.014 0.974 0.909 0.000 0.719 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 93 125 114 149 0 0 -1
normalized size 1 1.00 0.81 1.09 0.99 1.30 0.00 0.00 -0.01
time (sec) N/A 0.117 0.085 0.013 0.986 0.847 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 80 134 155 93 0 88 -1
normalized size 1 1.00 0.51 0.85 0.98 0.59 0.00 0.56 -0.01
time (sec) N/A 0.201 0.050 0.016 0.978 0.912 0.000 0.259 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 75 117 138 88 0 83 -1
normalized size 1 1.00 0.53 0.83 0.98 0.62 0.00 0.59 -0.01
time (sec) N/A 0.121 0.046 0.006 0.927 0.906 0.000 0.270 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 70 100 121 83 0 78 -1
normalized size 1 1.00 0.60 0.86 1.04 0.72 0.00 0.67 -0.01
time (sec) N/A 0.082 0.037 0.005 0.966 0.927 0.000 0.211 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 96 151 125 125 0 136 -1
normalized size 1 1.00 0.77 1.22 1.01 1.01 0.00 1.10 -0.01
time (sec) N/A 0.144 0.062 0.008 0.988 0.913 0.000 0.283 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 103 179 132 143 0 570 -1
normalized size 1 1.00 0.79 1.37 1.01 1.09 0.00 4.35 -0.01
time (sec) N/A 0.140 0.092 0.011 0.978 0.881 0.000 0.841 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 103 162 143 159 0 0 -1
normalized size 1 1.00 0.75 1.17 1.04 1.15 0.00 0.00 -0.01
time (sec) N/A 0.139 0.107 0.013 0.984 0.889 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 90 153 184 103 0 98 -1
normalized size 1 1.00 0.48 0.81 0.97 0.54 0.00 0.52 -0.01
time (sec) N/A 0.156 0.062 0.017 0.978 0.886 0.000 0.201 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 85 136 167 98 0 93 -1
normalized size 1 1.00 0.52 0.83 1.02 0.60 0.00 0.57 -0.01
time (sec) N/A 0.133 0.056 0.007 0.971 0.954 0.000 0.212 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 80 119 150 93 0 88 -1
normalized size 1 1.00 0.58 0.86 1.08 0.67 0.00 0.63 -0.01
time (sec) N/A 0.092 0.048 0.006 0.967 0.895 0.000 0.187 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 106 207 154 135 0 146 -1
normalized size 1 1.00 0.72 1.41 1.05 0.92 0.00 0.99 -0.01
time (sec) N/A 0.160 0.075 0.010 0.972 0.877 0.000 0.307 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 113 235 161 153 0 760 -1
normalized size 1 1.00 0.73 1.53 1.05 0.99 0.00 4.94 -0.01
time (sec) N/A 0.163 0.116 0.012 0.999 0.962 0.000 1.097 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 113 199 172 169 0 0 -1
normalized size 1 1.00 0.70 1.24 1.07 1.05 0.00 0.00 -0.01
time (sec) N/A 0.163 0.114 0.015 0.994 0.940 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 693 692 588 1869 0 1435 0 822 -1
normalized size 1 1.00 0.85 2.70 0.00 2.07 0.00 1.19 -0.00
time (sec) N/A 2.102 1.251 0.019 0.000 1.733 0.000 0.323 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 420 418 343 1069 0 861 0 457 -1
normalized size 1 1.00 0.82 2.55 0.00 2.05 0.00 1.09 -0.00
time (sec) N/A 1.011 0.649 0.013 0.000 1.329 0.000 0.296 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 223 223 215 505 0 461 0 210 -1
normalized size 1 1.00 0.96 2.26 0.00 2.07 0.00 0.94 -0.00
time (sec) N/A 0.303 0.234 0.008 0.000 1.107 0.000 0.269 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 96 185 0 227 0 98 -1
normalized size 1 1.00 0.83 1.59 0.00 1.96 0.00 0.84 -0.01
time (sec) N/A 0.106 0.152 0.007 0.000 0.863 0.000 0.249 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 179 179 172 599 0 0 0 0 -1
normalized size 1 1.00 0.96 3.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.293 0.281 0.015 0.000 0.000 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 239 227 1671 0 0 0 0 -1
normalized size 1 0.99 0.94 6.93 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.371 0.348 0.015 0.000 0.000 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 336 336 367 3615 0 2034 0 2307 -1
normalized size 1 1.00 1.09 10.76 0.00 6.05 0.00 6.87 -0.00
time (sec) N/A 0.656 1.100 0.017 0.000 174.731 0.000 0.545 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 504 502 715 2780 0 2937 0 1054 -1
normalized size 1 1.00 1.42 5.52 0.00 5.83 0.00 2.09 -0.00
time (sec) N/A 1.176 1.595 0.020 0.000 28.674 0.000 0.350 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 289 288 412 1557 0 1769 0 580 -1
normalized size 1 1.00 1.43 5.39 0.00 6.12 0.00 2.01 -0.00
time (sec) N/A 0.392 0.827 0.013 0.000 20.322 0.000 0.322 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 186 186 205 735 0 905 0 271 -1
normalized size 1 1.00 1.10 3.95 0.00 4.87 0.00 1.46 -0.01
time (sec) N/A 0.227 0.734 0.009 0.000 14.447 0.000 0.284 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 113 249 0 429 0 122 143
normalized size 1 1.00 1.02 2.24 0.00 3.86 0.00 1.10 1.29
time (sec) N/A 0.066 0.295 0.006 0.000 1.367 0.000 0.267 4.535
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 271 2079 0 1905 0 719 -1
normalized size 1 1.00 1.20 9.24 0.00 8.47 0.00 3.20 -0.00
time (sec) N/A 0.266 0.493 0.014 0.000 34.395 0.000 0.286 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 421 418 487 4930 0 5098 0 0 -1
normalized size 1 0.99 1.16 11.71 0.00 12.11 0.00 0.00 -0.00
time (sec) N/A 0.797 2.460 0.019 0.000 107.700 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 713 707 762 9126 0 0 0 5637 -1
normalized size 1 0.99 1.07 12.80 0.00 0.00 0.00 7.91 -0.00
time (sec) N/A 2.670 5.291 0.024 0.000 0.000 0.000 0.882 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 60 96 97 73 0 68 -1
normalized size 1 1.00 0.50 0.80 0.81 0.61 0.00 0.57 -0.01
time (sec) N/A 0.135 0.045 0.015 0.954 0.841 0.000 0.244 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 55 79 80 68 0 63 -1
normalized size 1 1.00 0.58 0.83 0.84 0.72 0.00 0.66 -0.01
time (sec) N/A 0.099 0.031 0.008 0.972 0.757 0.000 0.221 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 50 62 63 63 0 58 -1
normalized size 1 1.00 0.71 0.89 0.90 0.90 0.00 0.83 -0.01
time (sec) N/A 0.058 0.021 0.007 0.960 0.755 0.000 0.264 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 78 60 67 105 0 116 -1
normalized size 1 1.00 1.00 0.77 0.86 1.35 0.00 1.49 -0.01
time (sec) N/A 0.097 0.046 0.009 0.973 0.766 0.000 0.572 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 82 67 74 123 0 48 -1
normalized size 1 1.00 0.99 0.81 0.89 1.48 0.00 0.58 -0.01
time (sec) N/A 0.095 0.053 0.012 0.979 0.874 0.000 0.277 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 69 74 82 96 0 204 -1
normalized size 1 1.00 0.78 0.83 0.92 1.08 0.00 2.29 -0.01
time (sec) N/A 0.088 0.039 0.035 0.977 0.685 0.000 0.328 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 69 115 97 97 0 67 -1
normalized size 1 1.00 0.67 1.12 0.94 0.94 0.00 0.65 -0.01
time (sec) N/A 0.124 0.041 0.014 0.965 0.707 0.000 0.210 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 61 98 80 92 0 62 -1
normalized size 1 1.00 0.74 1.20 0.98 1.12 0.00 0.76 -0.01
time (sec) N/A 0.108 0.033 0.009 0.969 0.595 0.000 0.271 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 50 81 63 87 0 57 -1
normalized size 1 1.00 0.79 1.29 1.00 1.38 0.00 0.90 -0.02
time (sec) N/A 0.060 0.119 0.006 0.943 0.652 0.000 0.272 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 73 102 64 96 0 91 -1
normalized size 1 1.00 1.18 1.65 1.03 1.55 0.00 1.47 -0.02
time (sec) N/A 0.074 0.023 0.009 0.965 0.606 0.000 0.581 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 74 109 96 106 0 168 -1
normalized size 1 1.00 0.85 1.25 1.10 1.22 0.00 1.93 -0.01
time (sec) N/A 0.092 0.044 0.012 0.955 0.692 0.000 0.297 0.000
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 79 111 145 126 0 223 -1
normalized size 1 1.00 0.71 0.99 1.29 1.12 0.00 1.99 -0.01
time (sec) N/A 0.155 0.056 0.013 0.967 0.637 0.000 0.313 0.000
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 71 163 202 117 0 67 -1
normalized size 1 1.00 0.83 1.90 2.35 1.36 0.00 0.78 -0.01
time (sec) N/A 0.113 0.061 0.014 0.963 0.594 0.000 0.208 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 66 146 185 112 0 62 -1
normalized size 1 1.00 0.97 2.15 2.72 1.65 0.00 0.91 -0.01
time (sec) N/A 0.095 0.126 0.009 0.967 0.865 0.000 0.237 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 33 30 76 51 0 28 49
normalized size 1 1.00 0.70 0.64 1.62 1.09 0.00 0.60 1.04
time (sec) N/A 0.048 0.059 0.005 0.437 0.804 0.000 0.196 4.196
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 72 158 93 126 0 101 -1
normalized size 1 1.00 0.85 1.86 1.09 1.48 0.00 1.19 -0.01
time (sec) N/A 0.094 0.051 0.010 0.962 0.681 0.000 0.434 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 111 165 125 141 0 233 -1
normalized size 1 1.00 1.01 1.50 1.14 1.28 0.00 2.12 -0.01
time (sec) N/A 0.151 0.064 0.011 0.974 0.744 0.000 0.363 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 89 148 174 156 0 233 -1
normalized size 1 1.00 0.66 1.10 1.29 1.16 0.00 1.73 -0.01
time (sec) N/A 0.213 0.075 0.013 0.991 0.829 0.000 0.349 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 208 208 219 324 0 465 0 0 1089
normalized size 1 1.00 1.05 1.56 0.00 2.24 0.00 0.00 5.24
time (sec) N/A 0.424 0.505 0.013 0.000 33.082 0.000 0.000 5.748
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 906 905 15669 19955 0 0 0 0 -1
normalized size 1 1.00 17.29 22.03 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.700 14.990 0.192 0.000 0.802 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 668 668 9965 12761 0 0 0 0 -1
normalized size 1 1.00 14.92 19.10 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.188 14.410 0.071 0.000 0.962 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 749 746 13240 8221 0 0 0 0 -1
normalized size 1 1.00 17.68 10.98 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.518 14.039 0.085 0.000 0.730 0.000 0.000 0.000
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 712 711 8456 21038 0 0 0 0 -1
normalized size 1 1.00 11.88 29.55 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.271 14.268 0.129 0.000 0.710 0.000 0.000 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 992 989 12997 48427 0 0 0 0 -1
normalized size 1 1.00 13.10 48.82 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.916 14.666 0.252 0.000 0.613 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1363 1363 19853 88790 0 0 0 0 -1
normalized size 1 1.00 14.57 65.14 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.200 16.015 0.428 0.000 0.753 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1904 1904 29140 153623 0 0 0 0 -1
normalized size 1 1.00 15.30 80.68 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 6.243 18.387 0.804 0.000 0.822 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 724 724 9972 14084 0 0 0 0 -1
normalized size 1 1.00 13.77 19.45 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.779 14.550 0.079 0.000 0.699 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 557 557 992 8161 0 0 0 0 -1
normalized size 1 1.00 1.78 14.65 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.889 11.588 0.061 0.000 0.565 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 471 470 1080 4251 0 0 0 0 -1
normalized size 1 1.00 2.29 9.03 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.482 12.500 0.054 0.000 0.745 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 508 506 772 6053 0 0 0 0 -1
normalized size 1 1.00 1.52 11.92 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.649 7.280 0.072 0.000 0.649 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 684 680 1194 20481 0 0 0 0 -1
normalized size 1 0.99 1.75 29.94 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.192 12.156 0.132 0.000 0.691 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 944 942 12295 46697 0 0 0 0 -1
normalized size 1 1.00 13.02 49.47 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.256 15.038 0.261 0.000 0.681 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 510 508 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.833 2.277 0.155 0.000 0.928 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 496 494 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.672 1.462 0.046 0.000 0.820 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 590 588 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.755 3.464 0.069 0.000 0.947 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 119 36 59 75 221 141 58
normalized size 1 1.00 2.90 0.88 1.44 1.83 5.39 3.44 1.41
time (sec) N/A 0.052 0.106 0.005 0.576 0.581 13.248 0.181 4.246
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 34 39 66 83 280 191 78
normalized size 1 1.00 0.74 0.85 1.43 1.80 6.09 4.15 1.70
time (sec) N/A 0.072 0.130 0.005 0.576 0.631 173.947 0.244 4.395
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 43 51 98 123 483 314 120
normalized size 1 1.00 0.75 0.89 1.72 2.16 8.47 5.51 2.11
time (sec) N/A 0.121 0.306 0.006 0.598 0.518 171.168 0.306 4.457
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 167 8419 1779 2467 2281 2383 2026
normalized size 1 1.00 8.35 420.95 88.95 123.35 114.05 119.15 101.30
time (sec) N/A 0.420 0.449 0.004 0.500 0.437 1.527 0.230 4.865
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 19 18 18 20 20 18
normalized size 1 1.00 1.00 0.73 0.69 0.69 0.77 0.77 0.69
time (sec) N/A 0.025 0.005 0.005 0.426 0.540 0.244 0.165 0.051
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 346 346 282 783 0 701 0 330 -1
normalized size 1 1.00 0.82 2.26 0.00 2.03 0.00 0.95 -0.00
time (sec) N/A 0.812 0.739 0.014 0.000 1.045 0.000 0.314 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 199 532 0 499 0 228 -1
normalized size 1 1.00 0.81 2.17 0.00 2.04 0.00 0.93 -0.00
time (sec) N/A 0.438 0.443 0.010 0.000 0.710 0.000 0.386 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 141 333 0 341 0 149 -1
normalized size 1 1.00 0.80 1.88 0.00 1.93 0.00 0.84 -0.01
time (sec) N/A 0.235 0.264 0.009 0.000 0.757 0.000 0.268 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 155 155 134 220 0 733 0 0 -1
normalized size 1 1.00 0.86 1.42 0.00 4.73 0.00 0.00 -0.01
time (sec) N/A 0.256 0.369 0.010 0.000 5.780 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 127 173 0 703 0 171 166
normalized size 1 1.00 0.91 1.24 0.00 5.06 0.00 1.23 1.19
time (sec) N/A 0.235 0.399 0.012 0.000 3.717 0.000 0.372 4.460
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 159 159 137 241 0 783 0 352 -1
normalized size 1 1.00 0.86 1.52 0.00 4.92 0.00 2.21 -0.01
time (sec) N/A 0.244 0.359 0.012 0.000 4.813 0.000 0.361 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 186 186 150 375 0 365 0 689 -1
normalized size 1 1.00 0.81 2.02 0.00 1.96 0.00 3.70 -0.01
time (sec) N/A 0.320 0.310 0.014 0.000 5.552 0.000 0.292 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 270 270 212 591 0 525 0 1448 -1
normalized size 1 1.00 0.79 2.19 0.00 1.94 0.00 5.36 -0.00
time (sec) N/A 0.488 0.522 0.013 0.000 10.830 0.000 0.300 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 371 371 299 859 0 727 0 2177 -1
normalized size 1 1.00 0.81 2.32 0.00 1.96 0.00 5.87 -0.00
time (sec) N/A 0.817 0.731 0.018 0.000 42.469 0.000 0.508 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 258 258 212 208 206 237 230 230 196
normalized size 1 1.00 0.82 0.81 0.80 0.92 0.89 0.89 0.76
time (sec) N/A 0.257 0.040 0.002 0.434 0.739 0.518 0.168 4.204
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 136 146 145 160 158 160 137
normalized size 1 1.00 0.87 0.93 0.92 1.02 1.01 1.02 0.87
time (sec) N/A 0.166 0.032 0.002 0.432 0.670 0.153 0.157 4.108
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 93 84 79 83 87 90 77
normalized size 1 1.00 1.00 0.90 0.85 0.89 0.94 0.97 0.83
time (sec) N/A 0.108 0.013 0.001 0.428 0.608 1.911 0.151 0.047
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 35 34 34 37 34 34
normalized size 1 1.00 1.00 0.83 0.81 0.81 0.88 0.81 0.81
time (sec) N/A 0.025 0.002 0.002 0.423 0.642 0.288 0.148 0.026
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 228 228 179 286 228 230 235 228 260
normalized size 1 1.00 0.79 1.25 1.00 1.01 1.03 1.00 1.14
time (sec) N/A 0.193 0.059 0.006 0.433 0.840 1.174 0.155 4.139
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 228 228 223 313 234 319 238 308 363
normalized size 1 1.00 0.98 1.37 1.03 1.40 1.04 1.35 1.59
time (sec) N/A 0.191 0.087 0.012 0.435 0.781 1.134 0.173 4.181
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 204 336 240 360 248 216 297
normalized size 1 1.00 0.88 1.45 1.04 1.56 1.07 0.94 1.29
time (sec) N/A 0.204 0.066 0.011 0.444 0.570 2.627 0.180 0.092
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 391 391 277 264 263 305 298 296 251
normalized size 1 1.00 0.71 0.68 0.67 0.78 0.76 0.76 0.64
time (sec) N/A 0.386 0.043 0.002 0.435 0.701 0.203 0.157 4.247
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 201 186 185 206 206 206 175
normalized size 1 1.00 1.00 0.93 0.92 1.02 1.02 1.02 0.87
time (sec) N/A 0.240 0.026 0.001 0.429 0.700 0.146 0.161 0.108
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 121 108 105 107 112 116 101
normalized size 1 1.00 1.00 0.89 0.87 0.88 0.93 0.96 0.83
time (sec) N/A 0.160 0.016 0.001 0.431 0.673 0.136 0.156 4.173
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 60 45 44 44 56 44 44
normalized size 1 1.00 1.00 0.75 0.73 0.73 0.93 0.73 0.73
time (sec) N/A 0.036 0.001 0.000 0.423 0.723 0.155 0.149 0.035
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 352 352 262 465 366 368 372 378 434
normalized size 1 1.00 0.74 1.32 1.04 1.05 1.06 1.07 1.23
time (sec) N/A 0.316 0.122 0.006 0.436 0.870 0.997 0.170 0.079
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 353 353 342 500 372 490 393 459 939
normalized size 1 1.00 0.97 1.42 1.05 1.39 1.11 1.30 2.66
time (sec) N/A 0.328 0.139 0.012 0.438 1.004 2.311 0.180 4.217
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 354 354 311 531 378 545 394 354 771
normalized size 1 1.00 0.88 1.50 1.07 1.54 1.11 1.00 2.18
time (sec) N/A 0.343 0.102 0.014 0.449 0.807 4.872 0.161 0.127
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 360 360 344 558 390 587 401 345 560
normalized size 1 1.00 0.96 1.55 1.08 1.63 1.11 0.96 1.56
time (sec) N/A 0.358 0.123 0.014 0.462 0.651 8.089 0.159 4.284
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 221 221 178 291 206 206 450 212 397
normalized size 1 1.00 0.81 1.32 0.93 0.93 2.04 0.96 1.80
time (sec) N/A 0.190 0.121 0.007 0.964 0.844 2.579 0.167 4.182
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 156 130 191 141 141 303 145 223
normalized size 1 1.00 0.83 1.22 0.90 0.90 1.94 0.93 1.43
time (sec) N/A 0.162 0.085 0.006 0.961 0.788 1.719 0.159 0.099
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 86 102 84 84 163 88 107
normalized size 1 1.00 0.87 1.03 0.85 0.85 1.65 0.89 1.08
time (sec) N/A 0.108 0.054 0.005 0.956 0.778 0.849 0.155 0.070
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 50 44 43 43 61 43 45
normalized size 1 1.00 0.89 0.79 0.77 0.77 1.09 0.77 0.80
time (sec) N/A 0.049 0.018 0.003 0.967 0.649 0.232 0.162 0.042
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 146 298 160 171 0 158 713
normalized size 1 1.00 0.87 1.77 0.95 1.02 0.00 0.94 4.24
time (sec) N/A 0.194 0.110 0.012 0.964 1.001 0.000 0.216 6.389
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 233 233 233 538 294 416 0 355 312
normalized size 1 1.00 1.00 2.31 1.26 1.79 0.00 1.52 1.34
time (sec) N/A 0.251 0.160 0.016 0.983 1.051 0.000 0.177 4.669
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 317 317 278 819 498 698 0 406 493
normalized size 1 1.00 0.88 2.58 1.57 2.20 0.00 1.28 1.56
time (sec) N/A 0.290 0.434 0.015 0.998 1.356 0.000 0.179 4.763
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 209 283 212 350 444 206 333
normalized size 1 1.00 1.11 1.50 1.12 1.85 2.35 1.09 1.76
time (sec) N/A 0.255 0.158 0.016 0.958 0.872 2.772 0.162 0.148
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 150 189 147 245 298 145 211
normalized size 1 1.00 1.07 1.35 1.05 1.75 2.13 1.04 1.51
time (sec) N/A 0.208 0.113 0.012 0.960 0.803 1.961 0.156 0.114
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 96 106 90 147 165 94 115
normalized size 1 1.00 0.99 1.09 0.93 1.52 1.70 0.97 1.19
time (sec) N/A 0.193 0.066 0.010 0.961 0.825 1.023 0.156 4.152
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 59 51 52 78 65 52 52
normalized size 1 1.00 0.94 0.81 0.83 1.24 1.03 0.83 0.83
time (sec) N/A 0.077 0.037 0.007 0.952 0.769 0.192 0.153 4.148
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 186 691 289 479 0 284 330
normalized size 1 1.00 0.83 3.08 1.29 2.14 0.00 1.27 1.47
time (sec) N/A 0.340 0.164 0.020 0.982 0.937 0.000 0.170 4.612
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 313 313 270 986 548 910 0 571 601
normalized size 1 1.00 0.86 3.15 1.75 2.91 0.00 1.82 1.92
time (sec) N/A 0.498 0.262 0.023 1.015 1.124 0.000 0.204 4.835
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 412 412 363 1314 851 1499 0 595 887
normalized size 1 1.00 0.88 3.19 2.07 3.64 0.00 1.44 2.15
time (sec) N/A 0.715 0.396 0.027 1.090 1.464 0.000 0.204 4.940
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 209 267 222 441 469 201 299
normalized size 1 1.00 1.22 1.56 1.30 2.58 2.74 1.18 1.75
time (sec) N/A 0.336 0.201 0.015 0.968 0.837 8.078 0.208 0.152
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 146 179 155 302 304 144 203
normalized size 1 1.00 1.09 1.34 1.16 2.25 2.27 1.07 1.51
time (sec) N/A 0.239 0.182 0.013 0.961 0.832 3.963 0.165 4.214
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 107 102 101 172 163 97 125
normalized size 1 1.00 1.04 0.99 0.98 1.67 1.58 0.94 1.21
time (sec) N/A 0.145 0.085 0.011 0.956 0.760 2.311 0.185 0.120
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 53 47 56 75 61 46 55
normalized size 1 1.00 0.83 0.73 0.88 1.17 0.95 0.72 0.86
time (sec) N/A 0.050 0.039 0.007 0.958 0.735 0.201 0.155 0.049
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 329 329 282 1437 571 1052 0 460 641
normalized size 1 1.00 0.86 4.37 1.74 3.20 0.00 1.40 1.95
time (sec) N/A 0.496 0.305 0.025 1.030 1.128 0.000 0.247 4.793
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 443 443 389 1850 916 1734 0 762 965
normalized size 1 1.00 0.88 4.18 2.07 3.91 0.00 1.72 2.18
time (sec) N/A 0.893 0.526 0.031 1.134 1.562 0.000 0.256 4.989
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 70 115 126 83 0 78 170
normalized size 1 1.00 0.49 0.80 0.88 0.58 0.00 0.55 1.19
time (sec) N/A 0.155 0.154 0.017 0.965 0.808 0.000 0.204 1.716
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 65 98 109 78 0 73 153
normalized size 1 1.00 0.52 0.79 0.88 0.63 0.00 0.59 1.23
time (sec) N/A 0.092 0.095 0.006 0.954 0.847 0.000 0.199 0.767
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 91 127 128 125 0 129 -1
normalized size 1 1.00 0.61 0.85 0.86 0.84 0.00 0.87 -0.01
time (sec) N/A 0.240 0.147 0.010 1.006 0.887 0.000 0.224 0.000
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 98 152 132 143 0 531 -1
normalized size 1 1.00 0.66 1.02 0.89 0.96 0.00 3.56 -0.01
time (sec) N/A 0.237 0.162 0.013 1.003 0.919 0.000 0.531 0.000
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 151 151 98 158 143 159 0 258 -1
normalized size 1 1.00 0.65 1.05 0.95 1.05 0.00 1.71 -0.01
time (sec) N/A 0.228 0.148 0.015 1.002 0.839 0.000 0.244 0.000
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 98 165 160 173 0 304 -1
normalized size 1 1.00 0.62 1.04 1.01 1.09 0.00 1.92 -0.01
time (sec) N/A 0.226 0.159 0.013 0.980 0.656 0.000 0.258 0.000
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 98 167 181 189 0 327 -1
normalized size 1 1.00 0.59 1.01 1.10 1.15 0.00 1.98 -0.01
time (sec) N/A 0.234 0.176 0.013 1.022 0.839 0.000 0.373 0.000
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 98 188 222 203 0 387 -1
normalized size 1 1.00 0.59 1.14 1.35 1.23 0.00 2.35 -0.01
time (sec) N/A 0.229 0.200 0.014 1.044 0.888 0.000 0.278 0.000
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 91 195 250 156 0 405 -1
normalized size 1 1.00 0.54 1.15 1.48 0.92 0.00 2.40 -0.01
time (sec) N/A 0.218 0.169 0.016 1.050 0.825 0.000 0.264 0.000
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 96 216 301 171 0 456 -1
normalized size 1 1.00 0.49 1.11 1.55 0.88 0.00 2.35 -0.01
time (sec) N/A 0.268 0.198 0.019 1.039 0.709 0.000 0.293 0.000
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 80 134 155 93 0 88 -1
normalized size 1 1.00 0.48 0.81 0.93 0.56 0.00 0.53 -0.01
time (sec) N/A 0.194 0.184 0.018 0.977 0.806 0.000 0.191 0.000
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 75 117 138 88 0 83 -1
normalized size 1 1.00 0.51 0.80 0.94 0.60 0.00 0.56 -0.01
time (sec) N/A 0.121 0.124 0.005 1.003 0.816 0.000 0.334 0.000
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 101 183 157 135 0 139 -1
normalized size 1 1.00 0.59 1.06 0.91 0.78 0.00 0.81 -0.01
time (sec) N/A 0.268 0.183 0.010 1.002 0.615 0.000 0.231 0.000
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 108 208 161 153 0 707 -1
normalized size 1 1.00 0.63 1.21 0.94 0.89 0.00 4.11 -0.01
time (sec) N/A 0.282 0.210 0.013 1.013 0.877 0.000 0.451 0.000
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 108 214 172 169 0 268 -1
normalized size 1 1.00 0.62 1.23 0.99 0.97 0.00 1.54 -0.01
time (sec) N/A 0.273 0.216 0.015 1.001 0.924 0.000 0.303 0.000
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 181 108 221 189 183 0 314 -1
normalized size 1 1.00 0.60 1.22 1.04 1.01 0.00 1.73 -0.01
time (sec) N/A 0.267 0.219 0.017 1.036 0.974 0.000 0.269 0.000
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 108 204 210 199 0 503 -1
normalized size 1 1.00 0.57 1.09 1.12 1.06 0.00 2.68 -0.01
time (sec) N/A 0.265 0.228 0.017 1.042 0.956 0.000 0.421 0.000
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 108 225 251 213 0 406 -1
normalized size 1 1.00 0.55 1.15 1.29 1.09 0.00 2.08 -0.01
time (sec) N/A 0.263 0.237 0.017 1.060 1.034 0.000 0.324 0.000
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 108 246 297 229 0 452 -1
normalized size 1 1.00 0.55 1.26 1.52 1.17 0.00 2.32 -0.01
time (sec) N/A 0.268 0.253 0.017 1.072 1.056 0.000 0.345 0.000
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 108 267 348 243 0 489 -1
normalized size 1 1.00 0.55 1.37 1.78 1.25 0.00 2.51 -0.01
time (sec) N/A 0.262 0.259 0.019 1.074 0.909 0.000 0.332 0.000
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 60 95 96 73 0 68 -1
normalized size 1 1.00 0.50 0.79 0.80 0.61 0.00 0.57 -0.01
time (sec) N/A 0.136 0.117 0.012 0.974 0.875 0.000 0.194 0.000
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 55 79 80 68 0 63 -1
normalized size 1 1.00 0.54 0.78 0.79 0.67 0.00 0.62 -0.01
time (sec) N/A 0.080 0.073 0.006 0.963 0.783 0.000 0.196 0.000
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 81 92 99 115 0 119 -1
normalized size 1 1.00 0.64 0.73 0.79 0.91 0.00 0.94 -0.01
time (sec) N/A 0.210 0.102 0.008 0.981 0.739 0.000 0.232 0.000
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 88 96 103 133 0 339 -1
normalized size 1 1.00 0.70 0.76 0.82 1.06 0.00 2.69 -0.01
time (sec) N/A 0.202 0.115 0.012 0.980 0.969 0.000 0.402 0.000
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 88 102 114 149 0 248 -1
normalized size 1 1.00 0.69 0.80 0.89 1.16 0.00 1.94 -0.01
time (sec) N/A 0.208 0.129 0.012 0.984 0.964 0.000 0.255 0.000
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 88 109 131 163 0 285 -1
normalized size 1 1.00 0.65 0.81 0.97 1.21 0.00 2.11 -0.01
time (sec) N/A 0.205 0.149 0.014 1.003 0.854 0.000 0.257 0.000
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 81 116 149 125 0 164 -1
normalized size 1 1.00 0.58 0.83 1.07 0.90 0.00 1.18 -0.01
time (sec) N/A 0.191 0.135 0.013 1.024 0.946 0.000 0.283 0.000
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 74 132 114 102 0 72 -1
normalized size 1 1.00 0.60 1.06 0.92 0.82 0.00 0.58 -0.01
time (sec) N/A 0.152 0.470 0.017 0.972 0.987 0.000 0.225 0.000
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 60 115 97 97 0 67 -1
normalized size 1 1.00 0.58 1.12 0.94 0.94 0.00 0.65 -0.01
time (sec) N/A 0.102 0.185 0.007 0.970 0.862 0.000 0.216 0.000
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 55 98 80 92 0 62 -1
normalized size 1 1.00 0.67 1.20 0.98 1.12 0.00 0.76 -0.01
time (sec) N/A 0.055 0.131 0.008 0.952 0.858 0.000 0.219 0.000
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 86 148 99 149 0 118 -1
normalized size 1 1.00 0.85 1.47 0.98 1.48 0.00 1.17 -0.01
time (sec) N/A 0.151 0.354 0.011 0.977 1.007 0.000 0.396 0.000
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 104 152 116 157 0 225 -1
normalized size 1 1.00 0.96 1.41 1.07 1.45 0.00 2.08 -0.01
time (sec) N/A 0.153 0.323 0.011 1.007 0.965 0.000 0.423 0.000
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 84 144 149 126 0 220 -1
normalized size 1 1.00 0.75 1.29 1.33 1.12 0.00 1.96 -0.01
time (sec) N/A 0.146 0.298 0.013 0.985 0.919 0.000 0.247 0.000
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 95 151 217 141 0 271 -1
normalized size 1 1.00 0.69 1.10 1.58 1.03 0.00 1.98 -0.01
time (sec) N/A 0.204 0.158 0.014 1.007 0.878 0.000 0.292 0.000
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 65 180 219 122 0 71 -1
normalized size 1 1.00 0.62 1.71 2.09 1.16 0.00 0.68 -0.01
time (sec) N/A 0.131 0.687 0.023 0.983 0.863 0.000 0.216 0.000
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 60 163 202 117 0 66 -1
normalized size 1 1.00 0.70 1.90 2.35 1.36 0.00 0.77 -0.01
time (sec) N/A 0.082 0.253 0.008 0.967 0.719 0.000 0.206 0.000
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 55 146 185 112 0 62 -1
normalized size 1 1.00 0.81 2.15 2.72 1.65 0.00 0.91 -0.01
time (sec) N/A 0.052 0.229 0.007 0.983 0.891 0.000 0.304 0.000
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 80 190 110 126 0 92 -1
normalized size 1 1.00 0.94 2.24 1.29 1.48 0.00 1.08 -0.01
time (sec) N/A 0.128 0.470 0.009 0.968 0.842 0.000 0.229 0.000
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 92 194 127 141 0 206 -1
normalized size 1 1.00 0.84 1.76 1.15 1.28 0.00 1.87 -0.01
time (sec) N/A 0.153 0.408 0.011 1.006 0.855 0.000 0.399 0.000
Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 97 200 178 155 0 228 -1
normalized size 1 1.00 0.72 1.48 1.32 1.15 0.00 1.69 -0.01
time (sec) N/A 0.221 0.310 0.013 0.998 0.890 0.000 0.265 0.000
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 89 207 246 170 0 279 -1
normalized size 1 1.00 0.56 1.29 1.54 1.06 0.00 1.74 -0.01
time (sec) N/A 0.283 0.236 0.014 1.013 0.916 0.000 0.280 0.000
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 354 354 316 1406 0 1373 0 465 -1
normalized size 1 1.00 0.89 3.97 0.00 3.88 0.00 1.31 -0.00
time (sec) N/A 0.377 1.145 0.015 0.000 88.993 0.000 0.306 0.000
Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 353 353 319 1453 0 1385 0 488 -1
normalized size 1 1.00 0.90 4.12 0.00 3.92 0.00 1.38 -0.00
time (sec) N/A 0.386 1.111 0.018 0.000 95.777 0.000 0.448 0.000
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 588 588 537 5924 2292 4795 0 10960 4341
normalized size 1 1.00 0.91 10.07 3.90 8.15 0.00 18.64 7.38
time (sec) N/A 0.364 0.382 0.076 0.745 1.202 0.000 0.621 8.392
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 432 432 391 3222 1414 2796 0 6223 2625
normalized size 1 1.00 0.91 7.46 3.27 6.47 0.00 14.41 6.08
time (sec) N/A 0.243 0.242 0.035 0.641 0.971 0.000 0.392 6.050
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 292 292 261 1504 788 1448 0 3098 1425
normalized size 1 1.00 0.89 5.15 2.70 4.96 0.00 10.61 4.88
time (sec) N/A 0.189 0.169 0.016 0.548 0.608 0.000 0.266 5.087
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 221 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.481 0.731 0.258 0.000 0.883 0.000 0.000 0.000
Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 377 377 441 0 0 0 0 0 -1
normalized size 1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.900 1.803 0.125 0.000 0.711 0.000 0.000 0.000
Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 528 528 488 1244 0 3480 0 657 1027
normalized size 1 1.00 0.92 2.36 0.00 6.59 0.00 1.24 1.95
time (sec) N/A 1.312 1.079 0.019 0.000 0.986 0.000 0.220 6.175
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 765 765 754 1960 0 2643 0 982 2779
normalized size 1 1.00 0.99 2.56 0.00 3.45 0.00 1.28 3.63
time (sec) N/A 5.825 0.731 0.013 0.000 1.838 0.000 0.177 7.261
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 208 208 85 166 177 97 0 92 221
normalized size 1 1.00 0.41 0.80 0.85 0.47 0.00 0.44 1.06
time (sec) N/A 0.352 0.305 0.033 0.990 0.864 0.000 0.210 6.306
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 75 132 143 87 0 82 187
normalized size 1 1.00 0.45 0.80 0.86 0.52 0.00 0.49 1.13
time (sec) N/A 0.203 0.189 0.010 0.973 0.895 0.000 0.203 6.009
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 65 98 109 77 0 72 153
normalized size 1 1.00 0.52 0.79 0.88 0.62 0.00 0.58 1.23
time (sec) N/A 0.116 0.100 0.007 0.959 0.872 0.000 0.189 5.378
Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 187 187 189 403 500 304 0 144 -1
normalized size 1 1.00 1.01 2.16 2.67 1.63 0.00 0.77 -0.01
time (sec) N/A 0.355 0.895 0.090 1.173 0.905 0.000 0.265 0.000
Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 354 1084 0 378 0 0 -1
normalized size 1 1.00 1.78 5.45 0.00 1.90 0.00 0.00 -0.01
time (sec) N/A 0.250 1.276 0.032 0.000 0.990 0.000 0.000 0.000
Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 334 2342 0 390 0 378 -1
normalized size 1 1.00 1.57 11.00 0.00 1.83 0.00 1.77 -0.00
time (sec) N/A 0.237 1.397 0.031 0.000 0.961 0.000 0.262 0.000
Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 95 185 206 107 0 102 -1
normalized size 1 1.00 0.41 0.80 0.89 0.46 0.00 0.44 -0.00
time (sec) N/A 0.364 0.418 0.036 1.005 0.878 0.000 0.235 0.000
Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 85 151 172 97 0 92 -1
normalized size 1 1.00 0.45 0.80 0.91 0.51 0.00 0.49 -0.01
time (sec) N/A 0.227 0.251 0.010 0.984 0.698 0.000 0.216 0.000
Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 75 117 138 87 0 82 -1
normalized size 1 1.00 0.51 0.80 0.94 0.59 0.00 0.56 -0.01
time (sec) N/A 0.130 0.148 0.008 0.957 0.944 0.000 0.204 0.000
Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 210 210 202 730 535 326 0 154 -1
normalized size 1 1.00 0.96 3.48 2.55 1.55 0.00 0.73 -0.00
time (sec) N/A 0.304 0.938 0.020 1.310 0.985 0.000 0.282 0.000
Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 222 222 354 1828 0 378 0 0 -1
normalized size 1 1.00 1.59 8.23 0.00 1.70 0.00 0.00 -0.00
time (sec) N/A 0.322 1.833 0.023 0.000 0.897 0.000 0.000 0.000
Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 376 3828 0 447 0 0 -1
normalized size 1 1.00 1.61 16.36 0.00 1.91 0.00 0.00 -0.00
time (sec) N/A 0.319 2.239 0.022 0.000 0.993 0.000 0.000 0.000
Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 185 185 75 147 148 87 0 82 -1
normalized size 1 1.00 0.41 0.79 0.80 0.47 0.00 0.44 -0.01
time (sec) N/A 0.312 0.252 0.026 0.994 0.808 0.000 0.245 0.000
Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 65 113 114 77 0 72 -1
normalized size 1 1.00 0.45 0.79 0.80 0.54 0.00 0.50 -0.01
time (sec) N/A 0.203 0.143 0.010 0.974 0.870 0.000 0.392 0.000
Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 55 79 80 67 0 62 -1
normalized size 1 1.00 0.54 0.78 0.79 0.66 0.00 0.61 -0.01
time (sec) N/A 0.145 0.080 0.009 0.964 0.729 0.000 0.220 0.000
Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 157 204 465 297 0 125 -1
normalized size 1 1.00 0.96 1.24 2.84 1.81 0.00 0.76 -0.01
time (sec) N/A 0.230 0.467 0.019 1.138 0.857 0.000 0.275 0.000
Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 313 510 0 330 0 276 -1
normalized size 1 1.00 1.76 2.87 0.00 1.85 0.00 1.55 -0.01
time (sec) N/A 0.196 0.999 0.021 0.000 0.865 0.000 0.279 0.000
Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 371 1194 0 390 0 378 -1
normalized size 1 1.00 1.63 5.26 0.00 1.72 0.00 1.67 -0.00
time (sec) N/A 0.271 1.175 0.021 0.000 1.099 0.000 0.322 0.000
Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 75 166 148 112 0 81 -1
normalized size 1 1.00 0.45 1.00 0.89 0.67 0.00 0.49 -0.01
time (sec) N/A 0.241 0.433 0.030 0.989 0.827 0.000 0.261 0.000
Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 65 132 114 102 0 71 -1
normalized size 1 1.00 0.52 1.06 0.92 0.82 0.00 0.57 -0.01
time (sec) N/A 0.161 0.266 0.008 0.968 0.692 0.000 0.248 0.000
Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 55 98 80 92 0 62 -1
normalized size 1 1.00 0.67 1.20 0.98 1.12 0.00 0.76 -0.01
time (sec) N/A 0.087 0.150 0.007 0.958 0.991 0.000 0.215 0.000
Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 174 489 777 333 0 112 -1
normalized size 1 1.00 1.05 2.95 4.68 2.01 0.00 0.67 -0.01
time (sec) N/A 0.216 1.135 0.018 1.155 0.780 0.000 0.248 0.000
Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 351 1214 0 392 0 295 -1
normalized size 1 1.00 1.63 5.65 0.00 1.82 0.00 1.37 -0.00
time (sec) N/A 0.316 1.138 0.020 0.000 0.881 0.000 0.275 0.000
Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 250 250 381 2600 0 452 0 397 -1
normalized size 1 1.00 1.52 10.40 0.00 1.81 0.00 1.59 -0.00
time (sec) N/A 0.324 1.586 0.024 0.000 1.329 0.000 0.323 0.000
Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 166 166 242 0 0 0 0 0 -1
normalized size 1 1.00 1.46 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.147 0.401 0.075 0.000 0.893 0.000 0.000 0.000
Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 167 167 236 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.153 0.318 0.064 0.000 0.865 0.000 0.000 0.000
Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 252 252 302 0 0 0 0 0 -1
normalized size 1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.481 0.517 0.070 0.000 0.893 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [168] had the largest ratio of [.3571]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 7 5 1.00 34 0.147
2 A 6 5 1.00 32 0.156
3 A 5 5 1.00 27 0.185
4 A 5 5 1.00 34 0.147
5 A 5 5 1.00 34 0.147
6 A 5 5 1.00 34 0.147
7 A 8 6 1.00 34 0.176
8 A 4 4 1.00 34 0.118
9 A 5 4 1.00 34 0.118
10 A 7 4 1.00 34 0.118
11 A 6 4 1.00 34 0.118
12 A 5 4 1.00 32 0.125
13 A 4 4 1.00 27 0.148
14 A 4 4 1.00 34 0.118
15 A 7 5 1.00 34 0.147
16 A 4 4 1.00 34 0.118
17 A 5 4 1.00 34 0.118
18 A 2 1 0.99 25 0.040
19 A 2 1 0.99 25 0.040
20 A 2 1 1.00 23 0.043
21 A 2 1 1.00 18 0.056
22 A 2 1 0.99 25 0.040
23 A 2 1 0.99 25 0.040
24 A 2 1 0.99 25 0.040
25 A 3 2 0.99 27 0.074
26 A 3 2 1.00 27 0.074
27 A 3 2 1.00 25 0.080
28 A 3 2 1.00 20 0.100
29 A 2 1 0.99 27 0.037
30 A 2 1 0.99 27 0.037
31 A 2 1 0.99 27 0.037
32 A 3 2 0.99 27 0.074
33 A 3 2 1.00 27 0.074
34 A 3 2 1.00 25 0.080
35 A 3 2 1.00 20 0.100
36 A 2 1 0.99 27 0.037
37 A 2 1 0.99 27 0.037
38 A 2 1 0.99 27 0.037
39 A 1 1 1.00 32 0.031
40 A 1 1 1.00 31 0.032
41 A 1 1 1.00 34 0.029
42 A 1 1 1.00 33 0.030
43 A 5 4 0.99 27 0.148
44 A 5 4 0.99 27 0.148
45 A 5 4 1.00 25 0.160
46 A 5 4 1.00 20 0.200
47 A 5 4 1.00 27 0.148
48 A 5 4 1.00 27 0.148
49 A 5 4 1.00 27 0.148
50 A 6 5 1.00 27 0.185
51 A 5 5 1.00 27 0.185
52 A 4 4 1.00 25 0.160
53 A 3 3 1.00 20 0.150
54 A 6 5 1.00 27 0.185
55 A 6 5 0.99 27 0.185
56 A 6 5 1.00 27 0.185
57 A 5 5 1.00 27 0.185
58 A 3 3 1.12 27 0.111
59 A 3 3 1.00 25 0.120
60 A 4 4 1.00 20 0.200
61 A 7 6 1.00 27 0.222
62 A 7 5 0.99 27 0.185
63 A 7 5 1.00 27 0.185
64 A 4 4 1.00 27 0.148
65 A 4 4 1.13 27 0.148
66 A 4 4 1.00 27 0.148
67 A 4 4 1.00 25 0.160
68 A 5 4 1.00 20 0.200
69 A 6 5 1.00 17 0.294
70 A 5 5 1.00 17 0.294
71 A 4 4 1.00 15 0.267
72 A 3 3 1.00 14 0.214
73 A 6 5 1.00 17 0.294
74 A 6 5 1.00 17 0.294
75 A 6 5 1.00 17 0.294
76 A 3 3 1.83 16 0.188
77 A 3 3 1.00 18 0.167
78 A 7 6 0.99 29 0.207
79 A 6 6 1.00 29 0.207
80 A 5 5 1.00 27 0.185
81 A 5 5 1.00 22 0.227
82 A 7 6 1.00 29 0.207
83 A 7 6 0.98 29 0.207
84 A 7 6 1.00 29 0.207
85 A 7 6 1.00 29 0.207
86 A 5 5 1.00 29 0.172
87 A 6 6 1.00 29 0.207
88 A 8 6 1.00 29 0.207
89 A 7 6 1.00 29 0.207
90 A 6 5 1.00 27 0.185
91 A 6 5 1.00 22 0.227
92 A 8 6 1.00 29 0.207
93 A 8 6 0.99 29 0.207
94 A 8 7 0.98 29 0.241
95 A 8 6 0.99 29 0.207
96 A 8 7 1.00 29 0.241
97 A 8 6 1.00 29 0.207
98 A 6 5 1.00 29 0.172
99 A 7 6 1.00 29 0.207
100 A 7 5 1.00 22 0.227
101 A 6 5 0.99 29 0.172
102 A 5 5 1.00 29 0.172
103 A 4 4 0.99 27 0.148
104 A 4 4 1.00 22 0.182
105 A 6 5 1.00 29 0.172
106 A 6 5 1.00 29 0.172
107 A 4 4 1.00 29 0.138
108 A 5 5 1.00 29 0.172
109 A 4 4 1.00 29 0.138
110 A 4 4 1.00 27 0.148
111 A 4 4 1.00 22 0.182
112 A 4 4 1.00 29 0.138
113 A 4 4 1.00 29 0.138
114 A 5 5 0.99 29 0.172
115 A 3 3 1.00 22 0.136
116 A 4 4 1.00 22 0.182
117 A 5 4 1.00 22 0.182
118 A 5 4 1.00 29 0.138
119 A 4 4 1.00 29 0.138
120 A 3 3 1.00 27 0.111
121 A 5 5 1.00 29 0.172
122 A 5 5 1.00 29 0.172
123 A 4 4 1.00 29 0.138
124 A 5 4 1.00 29 0.138
125 A 4 4 1.00 29 0.138
126 A 3 3 1.00 27 0.111
127 A 4 4 1.00 29 0.138
128 A 4 4 1.00 29 0.138
129 A 5 5 1.00 29 0.172
130 A 4 3 1.00 29 0.103
131 A 4 3 1.00 29 0.103
132 A 2 2 1.00 27 0.074
133 A 5 5 1.00 29 0.172
134 A 5 4 1.00 29 0.138
135 A 6 5 1.00 29 0.172
136 A 6 4 0.99 27 0.148
137 A 6 4 1.00 29 0.138
138 A 5 5 1.00 31 0.161
139 A 6 6 1.00 70 0.086
140 A 2 1 1.00 20 0.050
141 A 2 1 1.00 20 0.050
142 A 2 1 1.00 20 0.050
143 A 2 1 1.00 18 0.056
144 A 6 5 1.00 20 0.250
145 A 4 4 1.00 20 0.200
146 A 5 5 1.00 20 0.250
147 A 6 5 1.00 20 0.250
148 A 6 5 1.00 30 0.167
149 A 6 5 1.00 30 0.167
150 A 6 5 1.00 28 0.179
151 A 6 5 1.00 23 0.217
152 A 6 5 1.00 30 0.167
153 A 6 5 1.00 30 0.167
154 A 6 5 1.00 30 0.167
155 A 6 6 1.00 30 0.200
156 A 5 5 1.00 28 0.179
157 A 4 4 1.00 23 0.174
158 A 7 6 1.00 30 0.200
159 A 7 6 1.00 30 0.200
160 A 7 6 1.00 20 0.300
161 A 7 6 1.00 20 0.300
162 A 5 5 1.00 18 0.278
163 A 4 4 1.00 17 0.235
164 A 7 6 1.00 20 0.300
165 A 7 6 1.00 20 0.300
166 A 7 6 1.00 20 0.300
167 A 1 1 1.00 16 0.062
168 A 6 5 1.00 14 0.357
169 A 6 5 1.00 16 0.312
170 A 3 2 1.00 18 0.111
171 A 5 3 1.00 16 0.188
172 A 5 3 1.00 19 0.158
173 A 6 5 1.00 23 0.217
174 A 5 3 1.00 19 0.158
175 A 2 2 1.00 23 0.087
176 A 4 4 1.00 17 0.235
177 A 1 1 1.00 19 0.053
178 A 7 5 1.00 22 0.227
179 A 6 5 1.00 22 0.227
180 A 5 5 1.00 22 0.227
181 A 4 4 1.00 22 0.182
182 A 4 4 1.00 22 0.182
183 A 3 3 1.00 22 0.136
184 A 4 4 1.00 22 0.182
185 A 5 4 1.00 22 0.182
186 A 7 6 1.00 32 0.188
187 A 6 6 0.99 32 0.188
188 A 5 5 1.00 30 0.167
189 A 5 5 1.00 25 0.200
190 A 7 6 1.00 32 0.188
191 A 7 6 0.99 32 0.188
192 A 7 6 1.00 32 0.188
193 A 7 6 1.00 32 0.188
194 A 5 5 1.00 32 0.156
195 A 6 6 1.00 32 0.188
196 A 8 6 1.00 32 0.188
197 A 7 6 0.99 32 0.188
198 A 6 5 1.00 30 0.167
199 A 6 5 1.00 25 0.200
200 A 8 6 1.00 32 0.188
201 A 8 6 0.99 32 0.188
202 A 8 7 0.99 32 0.219
203 A 8 6 1.00 32 0.188
204 A 8 7 1.00 32 0.219
205 A 8 6 1.00 32 0.188
206 A 6 5 1.00 32 0.156
207 A 7 6 1.00 32 0.188
208 A 7 6 1.00 32 0.188
209 A 6 6 1.00 32 0.188
210 A 5 5 1.00 30 0.167
211 A 7 7 1.00 32 0.219
212 A 7 7 1.00 32 0.219
213 A 7 7 1.00 32 0.219
214 A 9 6 1.00 32 0.188
215 A 7 6 1.00 32 0.188
216 A 6 5 1.00 30 0.167
217 A 8 7 1.00 32 0.219
218 A 8 7 1.00 32 0.219
219 A 8 8 1.00 32 0.250
220 A 9 6 1.00 32 0.188
221 A 8 6 1.00 32 0.188
222 A 7 5 1.00 30 0.167
223 A 9 7 1.00 32 0.219
224 A 9 7 1.00 32 0.219
225 A 9 8 1.00 32 0.250
226 A 6 5 1.00 32 0.156
227 A 5 5 1.00 32 0.156
228 A 4 4 1.00 30 0.133
229 A 4 4 1.00 25 0.160
230 A 6 5 1.00 32 0.156
231 A 6 5 0.99 32 0.156
232 A 4 4 1.00 32 0.125
233 A 5 5 1.00 32 0.156
234 A 4 4 1.00 32 0.125
235 A 4 4 1.00 30 0.133
236 A 4 4 1.00 25 0.160
237 A 4 4 1.00 32 0.125
238 A 4 4 0.99 32 0.125
239 A 5 5 0.99 32 0.156
240 A 6 5 1.00 32 0.156
241 A 5 5 1.00 32 0.156
242 A 4 4 1.00 30 0.133
243 A 6 6 1.00 32 0.188
244 A 6 6 1.00 32 0.188
245 A 4 4 1.00 32 0.125
246 A 6 5 1.00 32 0.156
247 A 5 5 1.00 32 0.156
248 A 4 4 1.00 30 0.133
249 A 4 4 1.00 32 0.125
250 A 4 4 1.00 32 0.125
251 A 5 5 1.00 32 0.156
252 A 5 4 1.00 32 0.125
253 A 5 4 1.00 32 0.125
254 A 2 2 1.00 30 0.067
255 A 5 5 1.00 32 0.156
256 A 5 4 1.00 32 0.125
257 A 6 5 1.00 32 0.156
258 A 3 3 1.00 47 0.064
259 A 8 7 1.00 34 0.206
260 A 7 6 1.00 34 0.176
261 A 7 6 1.00 34 0.176
262 A 7 6 1.00 34 0.176
263 A 7 6 1.00 34 0.176
264 A 8 7 1.00 34 0.206
265 A 9 7 1.00 34 0.206
266 A 8 6 1.00 34 0.176
267 A 7 6 1.00 34 0.176
268 A 6 5 1.00 34 0.147
269 A 6 5 1.00 34 0.147
270 A 7 6 0.99 34 0.176
271 A 8 6 1.00 34 0.176
272 A 6 4 1.00 30 0.133
273 A 6 4 1.00 32 0.125
274 A 5 5 1.00 34 0.147
275 A 3 3 1.00 42 0.071
276 A 2 2 1.00 46 0.043
277 A 2 2 1.00 69 0.029
278 A 2 2 1.00 75 0.027
279 A 6 4 1.00 16 0.250
280 A 6 5 1.00 33 0.152
281 A 5 4 1.00 31 0.129
282 A 5 4 1.00 30 0.133
283 A 7 5 1.00 33 0.152
284 A 7 6 1.00 33 0.182
285 A 7 5 1.00 33 0.152
286 A 5 4 1.00 33 0.121
287 A 6 5 1.00 33 0.152
288 A 7 5 1.00 33 0.152
289 A 2 1 1.00 36 0.028
290 A 2 1 1.00 36 0.028
291 A 2 1 1.00 34 0.029
292 A 2 1 1.00 29 0.034
293 A 2 1 1.00 36 0.028
294 A 2 1 1.00 36 0.028
295 A 2 1 1.00 36 0.028
296 A 2 1 1.00 38 0.026
297 A 2 1 1.00 38 0.026
298 A 2 1 1.00 36 0.028
299 A 2 1 1.00 31 0.032
300 A 2 1 1.00 38 0.026
301 A 2 1 1.00 38 0.026
302 A 2 1 1.00 38 0.026
303 A 2 1 1.00 38 0.026
304 A 6 5 1.00 38 0.132
305 A 6 5 1.00 38 0.132
306 A 6 5 1.00 36 0.139
307 A 6 5 1.00 31 0.161
308 A 6 5 1.00 38 0.132
309 A 6 5 1.00 38 0.132
310 A 6 5 1.00 38 0.132
311 A 7 6 1.00 38 0.158
312 A 7 6 1.00 38 0.158
313 A 7 6 1.00 36 0.167
314 A 7 6 1.00 31 0.194
315 A 7 6 1.00 38 0.158
316 A 7 6 1.00 38 0.158
317 A 7 6 1.00 38 0.158
318 A 8 6 1.00 38 0.158
319 A 8 6 1.00 38 0.158
320 A 6 6 1.00 36 0.167
321 A 5 4 1.00 31 0.129
322 A 8 6 1.00 38 0.158
323 A 8 6 1.00 38 0.158
324 A 7 5 1.00 38 0.132
325 A 7 5 1.00 33 0.152
326 A 9 7 1.00 40 0.175
327 A 9 8 1.00 40 0.200
328 A 9 8 1.00 40 0.200
329 A 9 7 1.00 40 0.175
330 A 9 7 1.00 40 0.175
331 A 9 7 1.00 40 0.175
332 A 7 5 1.00 40 0.125
333 A 8 6 1.00 40 0.150
334 A 8 5 1.00 38 0.132
335 A 8 5 1.00 33 0.152
336 A 10 7 1.00 40 0.175
337 A 10 8 1.00 40 0.200
338 A 10 8 1.00 40 0.200
339 A 10 7 1.00 40 0.175
340 A 10 8 1.00 40 0.200
341 A 10 7 1.00 40 0.175
342 A 10 8 1.00 40 0.200
343 A 10 7 1.00 40 0.175
344 A 6 4 1.00 38 0.105
345 A 6 4 1.00 33 0.121
346 A 8 6 1.00 40 0.150
347 A 8 7 1.00 40 0.175
348 A 8 7 1.00 40 0.175
349 A 8 6 1.00 40 0.150
350 A 6 4 1.00 40 0.100
351 A 7 5 1.00 40 0.125
352 A 6 5 1.00 38 0.132
353 A 5 5 1.00 33 0.152
354 A 7 7 1.00 40 0.175
355 A 7 7 1.00 40 0.175
356 A 5 5 1.00 40 0.125
357 A 6 5 1.00 40 0.125
358 A 6 5 1.00 40 0.125
359 A 5 4 1.00 38 0.105
360 A 5 4 1.00 33 0.121
361 A 5 4 1.00 40 0.100
362 A 5 4 1.00 40 0.100
363 A 6 5 1.00 40 0.125
364 A 7 5 1.00 40 0.125
365 A 5 4 1.00 35 0.114
366 A 5 4 1.00 36 0.111
367 A 2 1 1.00 38 0.026
368 A 2 1 1.00 38 0.026
369 A 2 1 1.00 36 0.028
370 A 4 2 1.00 38 0.053
371 A 5 3 1.00 38 0.079
372 A 6 5 1.00 38 0.132
373 A 6 5 1.00 53 0.094
374 A 11 5 1.00 35 0.143
375 A 9 5 1.00 35 0.143
376 A 7 5 1.00 33 0.152
377 A 9 7 1.00 35 0.200
378 A 9 7 1.00 35 0.200
379 A 7 5 1.00 35 0.143
380 A 12 5 1.00 35 0.143
381 A 10 5 1.00 35 0.143
382 A 8 5 1.00 33 0.152
383 A 10 7 1.00 35 0.200
384 A 10 8 1.00 35 0.229
385 A 10 7 1.00 35 0.200
386 A 10 4 1.00 35 0.114
387 A 8 4 1.00 35 0.114
388 A 6 4 1.00 33 0.121
389 A 8 6 1.00 35 0.171
390 A 6 4 1.00 35 0.114
391 A 7 4 1.00 35 0.114
392 A 9 5 1.00 35 0.143
393 A 7 5 1.00 35 0.143
394 A 5 5 1.00 33 0.152
395 A 6 4 1.00 35 0.114
396 A 7 4 1.00 35 0.114
397 A 8 4 1.00 35 0.114
398 A 7 5 1.00 26 0.192
399 A 7 6 1.00 24 0.250
400 A 11 8 1.00 29 0.276

[next] [prev] [prev-tail] [front] [up]